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

{}

{redundant(x6,a4,endflow,23), redundant(x6,a4,endflow,32), redundant(x6,a4,endflow,39), compObjWrittenByActivityBeforeActivity(x6,a4,a6,41), compObjWrittenByActivityBeforeActivity(x6,a4,a18,16), compObjWrittenByActivityBeforeActivity(x20,a4,a15,14), compObjWrittenByActivityBeforeActivity(x24,a4,endflow,32), compObjWrittenByActivityBeforeActivity(x24,a4,endflow,39), compObjWrittenByActivityBeforeActivity(x24,a4,endflow,62), compObjWrittenByActivityBeforeActivity(x24,a4,endflow,69)}


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

{}

{}