------------------------------------------
{subsActivityBeforeActivity(a17,a17,9), subsActivityBeforeActivity(a17,a17,41), subsActivityBeforeActivity(a14,a14,10), subsActivityBeforeActivity(a14,a14,42)}

{redundant(x20,a10,endflow,60), redundant(x20,a10,endflow,66), redundant(x20,a10,endflow,69), compObjWrittenByActivityBeforeActivity(x3,a10,endflow,51), compObjWrittenByActivityBeforeActivity(x3,a10,endflow,60), compObjWrittenByActivityBeforeActivity(x3,a10,endflow,66), compObjWrittenByActivityBeforeActivity(x3,a10,endflow,69), compObjWrittenByActivityBeforeActivity(x3,a10,endflow,73), compObjWrittenByActivityBeforeActivity(x15,a10,a12,42), compObjWrittenByActivityBeforeActivity(x20,a10,endflow,51), compObjWrittenByActivityBeforeActivity(x20,a10,endflow,73), compObjWrittenByActivityBeforeActivity(x20,a10,a16,58)}

{}

{compObjWrittenByActivityBeforeActivity(x13,a14,a14,12), compObjWrittenByActivityBeforeActivity(x13,a14,a14,47)}


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

{}

{}

{}