------------------------------------------
{subsActivityBeforeActivity(a4,a4,7)}

{redundant(x17,a4,endflow,22), redundant(x17,a4,endflow,27), redundant(x17,a4,endflow,31), compObjWrittenByActivityBeforeActivity(x17,a4,a22,13)}

{redundant(x9,a9,endflow,23), redundant(x9,a9,endflow,28), redundant(x9,a9,endflow,32), redundant(x9,a9,endflow,42), redundant(x9,a9,endflow,47), redundant(x9,a9,endflow,51), redundant(x9,a9,endflow,57), redundant(x9,a9,endflow,62), redundant(x9,a9,endflow,66), redundant(x9,a9,a12,53), compObjWrittenByActivityBeforeActivity(x9,a9,a15,15), compObjWrittenByActivityBeforeActivity(x13,a9,a9,9), compObjWrittenByActivityBeforeActivity(x23,a9,endflow,23), compObjWrittenByActivityBeforeActivity(x23,a9,endflow,28), compObjWrittenByActivityBeforeActivity(x23,a9,endflow,32), compObjWrittenByActivityBeforeActivity(x23,a9,endflow,42), compObjWrittenByActivityBeforeActivity(x23,a9,endflow,47), compObjWrittenByActivityBeforeActivity(x23,a9,endflow,51), compObjWrittenByActivityBeforeActivity(x23,a9,endflow,57), compObjWrittenByActivityBeforeActivity(x23,a9,endflow,62), compObjWrittenByActivityBeforeActivity(x23,a9,endflow,66)}