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

{}

{redundant(x1,a2,endflow,23), redundant(x1,a2,endflow,31), redundant(x1,a2,endflow,41), redundant(x3,a2,a11,9), redundant(x3,a2,a24,17), compObjWrittenByActivityBeforeActivity(x1,a2,a6,45), compObjWrittenByActivityBeforeActivity(x1,a2,a23,22), compObjWrittenByActivityBeforeActivity(x1,a2,a23,30), compObjWrittenByActivityBeforeActivity(x1,a2,a23,40), compObjWrittenByActivityBeforeActivity(x3,a2,a25,8)}

{compObjWrittenByActivityBeforeActivity(x3,a15,a2,8), compObjWrittenByActivityBeforeActivity(x8,a15,a21,28), compObjWrittenByActivityBeforeActivity(x12,a15,a19,19), compObjWrittenByActivityBeforeActivity(x12,a15,a21,28), compObjWrittenByActivityBeforeActivity(x12,a15,a10,47)}

{}


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

{}

{}

{}

{}