------------------------------------------
{subsActivityBeforeActivity(a23,a23,8)}

{redundant(x6,a23,endflow,33), redundant(x6,a23,endflow,75), redundant(x23,a23,endflow,25), redundant(x23,a23,endflow,33), redundant(x23,a23,endflow,44), redundant(x23,a23,endflow,52), redundant(x23,a23,a20,56), compObjWrittenByActivityBeforeActivity(x6,a23,endflow,25), compObjWrittenByActivityBeforeActivity(x6,a23,endflow,67), compObjWrittenByActivityBeforeActivity(x6,a23,a2,27), compObjWrittenByActivityBeforeActivity(x6,a23,a2,69), compObjWrittenByActivityBeforeActivity(x7,a23,endflow,25), compObjWrittenByActivityBeforeActivity(x7,a23,endflow,33), compObjWrittenByActivityBeforeActivity(x7,a23,endflow,44), compObjWrittenByActivityBeforeActivity(x7,a23,endflow,52), compObjWrittenByActivityBeforeActivity(x7,a23,endflow,67), compObjWrittenByActivityBeforeActivity(x7,a23,endflow,75), compObjWrittenByActivityBeforeActivity(x23,a23,a24,7)}

{compObjWrittenByActivityBeforeActivity(x3,a18,a23,10), compObjWrittenByActivityBeforeActivity(x3,a18,a20,63)}

{redundant(x9,a6,a4,69), redundant(x9,a6,a4,93), redundant(x9,a6,a21,21), redundant(x9,a6,a21,44), redundant(x9,a6,a21,70), redundant(x9,a6,a21,94), compObjWrittenByActivityBeforeActivity(x3,a6,a18,10), compObjWrittenByActivityBeforeActivity(x3,a6,a18,64), compObjWrittenByActivityBeforeActivity(x3,a6,a6,13), compObjWrittenByActivityBeforeActivity(x3,a6,a6,24), compObjWrittenByActivityBeforeActivity(x3,a6,a6,35), compObjWrittenByActivityBeforeActivity(x3,a6,a6,47), compObjWrittenByActivityBeforeActivity(x3,a6,a6,56), compObjWrittenByActivityBeforeActivity(x3,a6,a6,73), compObjWrittenByActivityBeforeActivity(x3,a6,a6,84), compObjWrittenByActivityBeforeActivity(x3,a6,a6,97), compObjWrittenByActivityBeforeActivity(x3,a6,a6,105), compObjWrittenByActivityBeforeActivity(x9,a6,a20,65), compObjWrittenByActivityBeforeActivity(x9,a6,a4,20), compObjWrittenByActivityBeforeActivity(x9,a6,a4,43), compObjWrittenByActivityBeforeActivity(x19,a6,a8,90)}