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

{redundant(x1,a17,endflow,54), redundant(x1,a17,endflow,62), redundant(x1,a17,endflow,64), compObjWrittenByActivityBeforeActivity(x1,a17,endflow,42), compObjWrittenByActivityBeforeActivity(x1,a17,a8,45)}

{redundant(x12,a5,a17,7), compObjWrittenByActivityBeforeActivity(x2,a5,a1,36), compObjWrittenByActivityBeforeActivity(x12,a5,a21,6)}


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

{}

{}