------------------------------------------
{subsActivityBeforeActivity(a3,a3,11), subsActivityBeforeActivity(a16,a16,15), subsActivityBeforeActivity(a16,a16,26), subsActivityBeforeActivity(a16,a16,36), subsActivityBeforeActivity(a16,a16,50)}

{}

{compObjWrittenByActivityBeforeActivity(x2,a20,a6,10)}

{}

{compObjWrittenByActivityBeforeActivity(x11,a15,endflow,35), compObjWrittenByActivityBeforeActivity(x11,a15,endflow,61), compObjWrittenByActivityBeforeActivity(x11,a15,a1,37), compObjWrittenByActivityBeforeActivity(x19,a15,endflow,35), compObjWrittenByActivityBeforeActivity(x19,a15,endflow,46), compObjWrittenByActivityBeforeActivity(x35,a15,a18,39)}

{compObjWrittenByActivityBeforeActivity(x18,a16,a13,58)}

{redundant(x2,a21,a16,45), redundant(x24,a21,a19,41), redundant(x24,a21,a9,57), compObjWrittenByActivityBeforeActivity(x2,a21,a20,10), compObjWrittenByActivityBeforeActivity(x2,a21,a1,40), compObjWrittenByActivityBeforeActivity(x2,a21,a16,18), compObjWrittenByActivityBeforeActivity(x2,a21,a16,30), compObjWrittenByActivityBeforeActivity(x2,a21,a16,62), compObjWrittenByActivityBeforeActivity(x24,a21,a2,25), compObjWrittenByActivityBeforeActivity(x28,a21,a21,19), compObjWrittenByActivityBeforeActivity(x35,a21,a15,42)}