------------------------------------------
{}

{redundant(x12,a8,endflow,21), redundant(x12,a8,endflow,25), redundant(x12,a8,endflow,37), redundant(x12,a8,endflow,41), compObjWrittenByActivityBeforeActivity(x12,a8,endflow,14), compObjWrittenByActivityBeforeActivity(x12,a8,endflow,30), compObjWrittenByActivityBeforeActivity(x12,a8,a13,20), compObjWrittenByActivityBeforeActivity(x12,a8,a13,24), compObjWrittenByActivityBeforeActivity(x12,a8,a13,36), compObjWrittenByActivityBeforeActivity(x12,a8,a13,40)}