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

{redundant(x25,a15,endflow,43), redundant(x25,a15,endflow,50), redundant(x25,a15,a9,49), compObjWrittenByActivityBeforeActivity(x14,a15,endflow,43), compObjWrittenByActivityBeforeActivity(x14,a15,endflow,50), compObjWrittenByActivityBeforeActivity(x14,a15,endflow,58), compObjWrittenByActivityBeforeActivity(x14,a15,endflow,65), compObjWrittenByActivityBeforeActivity(x19,a15,a6,35), compObjWrittenByActivityBeforeActivity(x25,a15,a16,40)}


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

{}