------------------------------------------
{subsActivityBeforeActivity(a8,a8,10), subsActivityBeforeActivity(a15,a15,12), subsActivityBeforeActivity(a15,a15,35), subsActivityBeforeActivity(a15,a15,52), subsActivityBeforeActivity(a15,a15,73), subsActivityBeforeActivity(a15,a15,90)}

{redundant(x17,a8,endflow,42), redundant(x17,a8,endflow,60), redundant(x17,a8,a19,69), compObjWrittenByActivityBeforeActivity(x3,a8,endflow,49), compObjWrittenByActivityBeforeActivity(x3,a8,endflow,89), compObjWrittenByActivityBeforeActivity(x16,a8,a20,27), compObjWrittenByActivityBeforeActivity(x17,a8,a20,27)}

{}

{compObjWrittenByActivityBeforeActivity(x1,a15,a22,32), compObjWrittenByActivityBeforeActivity(x1,a15,a22,73)}

{}

{}