------------------------------------------
{}

{}

{redundant(x14,a4,endflow,34), compObjWrittenByActivityBeforeActivity(x14,a4,endflow,25), compObjWrittenByActivityBeforeActivity(x14,a4,endflow,39), compObjWrittenByActivityBeforeActivity(x14,a4,endflow,42), compObjWrittenByActivityBeforeActivity(x14,a4,a6,31)}