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

{}

{redundant(x15,a6,endflow,23), redundant(x15,a6,endflow,26), redundant(x15,a6,endflow,33), redundant(x15,a6,endflow,36), compObjWrittenByActivityBeforeActivity(x15,a6,endflow,48), compObjWrittenByActivityBeforeActivity(x15,a6,endflow,51), compObjWrittenByActivityBeforeActivity(x15,a6,endflow,62), compObjWrittenByActivityBeforeActivity(x15,a6,endflow,65), compObjWrittenByActivityBeforeActivity(x15,a6,a12,8)}

{redundant(x22,a24,a5,20), compObjWrittenByActivityBeforeActivity(x19,a24,a6,10), compObjWrittenByActivityBeforeActivity(x19,a24,a22,30), compObjWrittenByActivityBeforeActivity(x19,a24,a10,43), compObjWrittenByActivityBeforeActivity(x22,a24,a13,7)}


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

{}

{}

{}