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

{redundant(x2,a3,a16,53), redundant(x15,a3,endflow,24), compObjWrittenByActivityBeforeActivity(x2,a3,a24,16), compObjWrittenByActivityBeforeActivity(x10,a3,a12,27), compObjWrittenByActivityBeforeActivity(x15,a3,a7,7)}

{redundant(x9,a2,a1,32), redundant(x9,a2,a15,41), compObjWrittenByActivityBeforeActivity(x2,a2,a3,17), compObjWrittenByActivityBeforeActivity(x9,a2,a7,8)}

{redundant(x11,a18,a18,50), compObjWrittenByActivityBeforeActivity(x9,a18,a2,8), compObjWrittenByActivityBeforeActivity(x11,a18,a5,48), compObjWrittenByActivityBeforeActivity(x11,a18,a18,12), compObjWrittenByActivityBeforeActivity(x11,a18,a18,24), compObjWrittenByActivityBeforeActivity(x11,a18,a18,36), compObjWrittenByActivityBeforeActivity(x24,a18,a3,10)}


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

{}

{}

{}