------------------------------------------
{compObjWrittenByActivityBeforeActivity(x11,a18,a18,7), subsActivityBeforeActivity(a18,a18,7), subsActivityBeforeActivity(a16,a16,9)}

{}

{redundant(x19,a16,endflow,59), redundant(x19,a16,endflow,76), redundant(x19,a16,endflow,92), compObjWrittenByActivityBeforeActivity(x19,a16,endflow,55), compObjWrittenByActivityBeforeActivity(x19,a16,endflow,72), compObjWrittenByActivityBeforeActivity(x19,a16,endflow,88), compObjWrittenByActivityBeforeActivity(x19,a16,a2,58), compObjWrittenByActivityBeforeActivity(x19,a16,a2,75), compObjWrittenByActivityBeforeActivity(x19,a16,a2,91)}

{}


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

{}

{}

{}