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

{redundant(x22,a8,endflow,36), redundant(x22,a8,endflow,56), redundant(x22,a8,a15,39), redundant(x22,a8,a15,59), compObjWrittenByActivityBeforeActivity(x7,a8,a7,6), compObjWrittenByActivityBeforeActivity(x22,a8,a25,30), compObjWrittenByActivityBeforeActivity(x22,a8,a25,50)}

{}