------------------------------------------
{subsActivityBeforeActivity(a12,a12,11), subsActivityBeforeActivity(a25,a25,12), subsActivityBeforeActivity(a25,a25,17), subsActivityBeforeActivity(a25,a25,21), subsActivityBeforeActivity(a25,a25,32), subsActivityBeforeActivity(a25,a25,45)}

{}

{}

{redundant(x4,a12,endflow,21), redundant(x4,a12,endflow,26), redundant(x4,a12,endflow,38), redundant(x4,a12,a4,28), redundant(x4,a12,a13,29), redundant(x4,a12,a6,33), redundant(x6,a12,endflow,21), redundant(x6,a12,endflow,26), redundant(x22,a12,endflow,52), compObjWrittenByActivityBeforeActivity(x4,a12,a11,9), compObjWrittenByActivityBeforeActivity(x6,a12,endflow,38), compObjWrittenByActivityBeforeActivity(x6,a12,a12,12), compObjWrittenByActivityBeforeActivity(x6,a12,a8,17), compObjWrittenByActivityBeforeActivity(x19,a12,endflow,21), compObjWrittenByActivityBeforeActivity(x19,a12,endflow,26), compObjWrittenByActivityBeforeActivity(x19,a12,endflow,38), compObjWrittenByActivityBeforeActivity(x22,a12,endflow,21), compObjWrittenByActivityBeforeActivity(x22,a12,endflow,38), compObjWrittenByActivityBeforeActivity(x22,a12,a23,40)}

{redundant(x23,a25,a13,35), redundant(x23,a25,a19,55), compObjWrittenByActivityBeforeActivity(x23,a25,a4,34), compObjWrittenByActivityBeforeActivity(x25,a25,a7,21), compObjWrittenByActivityBeforeActivity(x25,a25,a17,40), compObjWrittenByActivityBeforeActivity(x25,a25,a17,58)}