------------------------------------------
{subsActivityBeforeActivity(a10,a10,16), subsActivityBeforeActivity(a10,a10,24), subsActivityBeforeActivity(a10,a10,32), subsActivityBeforeActivity(a10,a10,44), subsActivityBeforeActivity(a10,a10,52), subsActivityBeforeActivity(a10,a10,60), subsActivityBeforeActivity(a10,a10,75), subsActivityBeforeActivity(a10,a10,83), subsActivityBeforeActivity(a10,a10,91)}

{redundant(x2,a4,a16,75), redundant(x21,a4,endflow,94), redundant(x21,a4,endflow,103), compObjWrittenByActivityBeforeActivity(x2,a4,a13,72), compObjWrittenByActivityBeforeActivity(x16,a4,endflow,51), compObjWrittenByActivityBeforeActivity(x16,a4,endflow,60), compObjWrittenByActivityBeforeActivity(x16,a4,endflow,69), compObjWrittenByActivityBeforeActivity(x16,a4,endflow,85), compObjWrittenByActivityBeforeActivity(x16,a4,endflow,94), compObjWrittenByActivityBeforeActivity(x16,a4,endflow,103), compObjWrittenByActivityBeforeActivity(x21,a4,endflow,60), compObjWrittenByActivityBeforeActivity(x21,a4,endflow,69), compObjWrittenByActivityBeforeActivity(x21,a4,a11,74)}

{}

{compObjWrittenByActivityBeforeActivity(x2,a8,a4,77)}

{compObjWrittenByActivityBeforeActivity(x23,a14,a5,22), compObjWrittenByActivityBeforeActivity(x23,a14,a5,54), compObjWrittenByActivityBeforeActivity(x23,a14,a5,96)}

{}