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

{redundant(x18,a14,endflow,28), redundant(x18,a14,a24,24), compObjWrittenByActivityBeforeActivity(x18,a14,a17,19)}

{compObjWrittenByActivityBeforeActivity(x2,a24,a10,17)}

{redundant(x13,a2,a4,19), redundant(x13,a2,a25,34), redundant(x14,a2,a8,25), compObjWrittenByActivityBeforeActivity(x9,a2,a2,11), compObjWrittenByActivityBeforeActivity(x9,a2,a2,27), compObjWrittenByActivityBeforeActivity(x9,a2,a2,36), compObjWrittenByActivityBeforeActivity(x9,a2,a2,47), compObjWrittenByActivityBeforeActivity(x9,a2,a2,55), compObjWrittenByActivityBeforeActivity(x13,a2,a21,8), compObjWrittenByActivityBeforeActivity(x14,a2,a10,18)}

{}


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

{}

{}

{}

{}