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

{redundant(x19,a15,endflow,15), redundant(x19,a15,endflow,30), compObjWrittenByActivityBeforeActivity(x19,a15,endflow,24), compObjWrittenByActivityBeforeActivity(x19,a15,endflow,40), compObjWrittenByActivityBeforeActivity(x19,a15,a3,12), compObjWrittenByActivityBeforeActivity(x19,a15,a13,28)}