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

{redundant(x12,a25,endflow,67), redundant(x12,a25,endflow,101), compObjWrittenByActivityBeforeActivity(x12,a25,endflow,50), compObjWrittenByActivityBeforeActivity(x12,a25,endflow,75), compObjWrittenByActivityBeforeActivity(x12,a25,endflow,84), compObjWrittenByActivityBeforeActivity(x12,a25,endflow,109), compObjWrittenByActivityBeforeActivity(x12,a25,a20,62), compObjWrittenByActivityBeforeActivity(x12,a25,a20,96)}