------------------------------------------
{subsActivityBeforeActivity(a24,a24,9), subsActivityBeforeActivity(a7,a7,11)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x24,a18,a18,14)}

{}

{redundant(x15,a13,endflow,33), redundant(x15,a13,endflow,43), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,25), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,33), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,37), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,43), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,47), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,57), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,65), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,69), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,75), compObjWrittenByActivityBeforeActivity(x4,a13,endflow,79), compObjWrittenByActivityBeforeActivity(x8,a13,endflow,25), compObjWrittenByActivityBeforeActivity(x8,a13,a22,35), compObjWrittenByActivityBeforeActivity(x8,a13,a22,45), compObjWrittenByActivityBeforeActivity(x15,a13,endflow,25), compObjWrittenByActivityBeforeActivity(x15,a13,endflow,37), compObjWrittenByActivityBeforeActivity(x15,a13,endflow,47), compObjWrittenByActivityBeforeActivity(x15,a13,a1,49), compObjWrittenByActivityBeforeActivity(x15,a13,a21,31), compObjWrittenByActivityBeforeActivity(x15,a13,a21,41), compObjWrittenByActivityBeforeActivity(x23,a13,endflow,25), compObjWrittenByActivityBeforeActivity(x23,a13,a6,50), compObjWrittenByActivityBeforeActivity(x23,a13,a21,41)}