------------------------------------------
{subsActivityBeforeActivity(a1,a1,8), subsActivityBeforeActivity(a15,a15,10)}

{}

{}

{}

{redundant(x15,a5,endflow,24), redundant(x15,a5,endflow,31), redundant(x15,a5,endflow,38), redundant(x15,a5,a2,20), compObjWrittenByActivityBeforeActivity(x10,a5,endflow,24), compObjWrittenByActivityBeforeActivity(x10,a5,endflow,31), compObjWrittenByActivityBeforeActivity(x10,a5,endflow,38), compObjWrittenByActivityBeforeActivity(x10,a5,a24,40), compObjWrittenByActivityBeforeActivity(x15,a5,a7,10), compObjWrittenByActivityBeforeActivity(x16,a5,endflow,24), compObjWrittenByActivityBeforeActivity(x16,a5,endflow,31), compObjWrittenByActivityBeforeActivity(x16,a5,endflow,38), compObjWrittenByActivityBeforeActivity(x16,a5,endflow,50)}