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

{}

{redundant(x9,a21,a6,39), redundant(x14,a21,endflow,33), redundant(x14,a21,endflow,54), compObjWrittenByActivityBeforeActivity(x9,a21,a2,38), compObjWrittenByActivityBeforeActivity(x9,a21,a6,18), compObjWrittenByActivityBeforeActivity(x12,a21,endflow,21), compObjWrittenByActivityBeforeActivity(x12,a21,a3,23), compObjWrittenByActivityBeforeActivity(x14,a21,endflow,21), compObjWrittenByActivityBeforeActivity(x14,a21,a23,24), compObjWrittenByActivityBeforeActivity(x18,a21,endflow,21), compObjWrittenByActivityBeforeActivity(x18,a21,endflow,33), compObjWrittenByActivityBeforeActivity(x18,a21,endflow,42), compObjWrittenByActivityBeforeActivity(x18,a21,a13,45)}

{compObjWrittenByActivityBeforeActivity(x9,a6,a21,18), compObjWrittenByActivityBeforeActivity(x9,a6,a21,45), compObjWrittenByActivityBeforeActivity(x9,a6,a6,11)}

{redundant(x23,a8,a10,60), compObjWrittenByActivityBeforeActivity(x23,a8,a9,56)}


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

{}

{}

{}

{}