------------------------------------------
{subsActivityBeforeActivity(a5,a5,8), subsActivityBeforeActivity(a7,a7,10)}

{}

{}

{redundant(x27,a7,endflow,17), redundant(x27,a7,endflow,29), redundant(x27,a7,endflow,33), redundant(x27,a7,endflow,39), redundant(x27,a7,endflow,43), redundant(x27,a7,a20,32), redundant(x27,a7,a20,42), redundant(x29,a7,endflow,39), redundant(x29,a7,endflow,43), redundant(x29,a7,a8,23), compObjWrittenByActivityBeforeActivity(x27,a7,a3,7), compObjWrittenByActivityBeforeActivity(x29,a7,endflow,17), compObjWrittenByActivityBeforeActivity(x29,a7,a19,22), compObjWrittenByActivityBeforeActivity(x35,a7,endflow,17)}