------------------------------------------
{compObjWrittenByActivityBeforeActivity(x16,a8,a8,7)}

{}

{}

{redundant(x4,a15,endflow,26), compObjWrittenByActivityBeforeActivity(x4,a15,endflow,21), compObjWrittenByActivityBeforeActivity(x4,a15,endflow,34), compObjWrittenByActivityBeforeActivity(x4,a15,endflow,39), compObjWrittenByActivityBeforeActivity(x4,a15,endflow,42), compObjWrittenByActivityBeforeActivity(x4,a15,a23,23), compObjWrittenByActivityBeforeActivity(x21,a15,endflow,26), compObjWrittenByActivityBeforeActivity(x21,a15,endflow,34), compObjWrittenByActivityBeforeActivity(x21,a15,endflow,39), compObjWrittenByActivityBeforeActivity(x21,a15,endflow,42)}