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

{}

{redundant(x11,a16,endflow,21), redundant(x11,a16,endflow,27), redundant(x11,a16,endflow,33), redundant(x11,a16,a1,17), compObjWrittenByActivityBeforeActivity(x11,a16,a16,9), compObjWrittenByActivityBeforeActivity(x11,a16,a13,14)}

{compObjWrittenByActivityBeforeActivity(x11,a15,a16,9), compObjWrittenByActivityBeforeActivity(x11,a15,a16,15)}


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

{}

{}

{}