------------------------------------------
{subsActivityBeforeActivity(a19,a19,10), subsActivityBeforeActivity(a2,a2,13), subsActivityBeforeActivity(a2,a2,25), subsActivityBeforeActivity(a2,a2,36), subsActivityBeforeActivity(a2,a2,43), subsActivityBeforeActivity(a2,a2,49), subsActivityBeforeActivity(a2,a2,59), subsActivityBeforeActivity(a2,a2,70), subsActivityBeforeActivity(a2,a2,77), subsActivityBeforeActivity(a2,a2,83)}

{}

{}

{redundant(x24,a4,endflow,31), redundant(x24,a4,endflow,58), redundant(x24,a4,endflow,69), redundant(x24,a4,endflow,96), compObjWrittenByActivityBeforeActivity(x7,a4,endflow,31), compObjWrittenByActivityBeforeActivity(x7,a4,endflow,58), compObjWrittenByActivityBeforeActivity(x7,a4,endflow,69), compObjWrittenByActivityBeforeActivity(x7,a4,endflow,96), compObjWrittenByActivityBeforeActivity(x24,a4,a19,11)}

{redundant(x16,a2,a2,29), redundant(x16,a2,a2,50), redundant(x16,a2,a2,57), redundant(x16,a2,a2,69), redundant(x16,a2,a2,90), redundant(x16,a2,a2,97), compObjWrittenByActivityBeforeActivity(x1,a2,a19,12), compObjWrittenByActivityBeforeActivity(x16,a2,a22,21), compObjWrittenByActivityBeforeActivity(x16,a2,a2,16)}

{}