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

{}

{redundant(x34,a30,endflow,142), redundant(x34,a30,endflow,157), redundant(x34,a30,endflow,188), redundant(x34,a30,endflow,203), compObjWrittenByActivityBeforeActivity(x34,a30,a33,138), compObjWrittenByActivityBeforeActivity(x34,a30,a33,153), compObjWrittenByActivityBeforeActivity(x34,a30,a33,184), compObjWrittenByActivityBeforeActivity(x34,a30,a33,199)}

{redundant(x4,a13,a27,116), redundant(x4,a13,a25,162), compObjWrittenByActivityBeforeActivity(x4,a13,a2,11)}

{compObjWrittenByActivityBeforeActivity(x27,a11,a30,14)}

{}

{compObjWrittenByActivityBeforeActivity(x4,a9,a13,11), compObjWrittenByActivityBeforeActivity(x4,a9,a27,21), compObjWrittenByActivityBeforeActivity(x4,a9,a25,65)}

{compObjWrittenByActivityBeforeActivity(x33,a8,a17,14)}