------------------------------------------
{subsActivityBeforeActivity(a20,a20,10), subsActivityBeforeActivity(a20,a20,21), subsActivityBeforeActivity(a20,a20,28), subsActivityBeforeActivity(a20,a20,37), subsActivityBeforeActivity(a20,a20,44), subsActivityBeforeActivity(a20,a20,52), subsActivityBeforeActivity(a20,a20,59)}

{redundant(x3,a5,a9,45), redundant(x3,a5,a9,62), redundant(x3,a5,a2,47), redundant(x3,a5,a2,64), redundant(x12,a5,endflow,25), redundant(x12,a5,endflow,33), redundant(x12,a5,endflow,43), redundant(x12,a5,endflow,60), compObjWrittenByActivityBeforeActivity(x3,a5,a5,8), compObjWrittenByActivityBeforeActivity(x3,a5,a6,27), compObjWrittenByActivityBeforeActivity(x10,a5,a7,17), compObjWrittenByActivityBeforeActivity(x12,a5,a23,18)}

{redundant(x11,a25,endflow,28), redundant(x11,a25,a22,27), compObjWrittenByActivityBeforeActivity(x2,a25,a25,10), compObjWrittenByActivityBeforeActivity(x2,a25,a18,22), compObjWrittenByActivityBeforeActivity(x11,a25,a13,24)}

{redundant(x22,a20,a14,46), redundant(x22,a20,a14,63), compObjWrittenByActivityBeforeActivity(x2,a20,a25,10), compObjWrittenByActivityBeforeActivity(x2,a20,a25,23), compObjWrittenByActivityBeforeActivity(x10,a20,a5,19), compObjWrittenByActivityBeforeActivity(x22,a20,a21,42)}