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

{redundant(x15,a19,endflow,41), redundant(x15,a19,endflow,45), redundant(x15,a19,a20,40), redundant(x21,a19,endflow,64), compObjWrittenByActivityBeforeActivity(x15,a19,a17,38), compObjWrittenByActivityBeforeActivity(x21,a19,endflow,45), compObjWrittenByActivityBeforeActivity(x21,a19,endflow,58), compObjWrittenByActivityBeforeActivity(x21,a19,endflow,68), compObjWrittenByActivityBeforeActivity(x21,a19,a12,63)}