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

{redundant(x16,a16,endflow,44), redundant(x16,a16,endflow,49), redundant(x16,a16,endflow,66), redundant(x16,a16,endflow,71), compObjWrittenByActivityBeforeActivity(x16,a16,endflow,35), compObjWrittenByActivityBeforeActivity(x16,a16,endflow,57), compObjWrittenByActivityBeforeActivity(x16,a16,a20,38), compObjWrittenByActivityBeforeActivity(x16,a16,a20,60)}