------------------------------------------
{compObjWrittenByActivityBeforeActivity(x16,a20,a20,7)}

{}

{}

{redundant(x15,a8,endflow,29), redundant(x15,a8,endflow,33), redundant(x15,a8,endflow,43), redundant(x15,a8,endflow,47), redundant(x15,a8,endflow,55), redundant(x15,a8,endflow,59), redundant(x15,a8,endflow,70), redundant(x15,a8,endflow,74), redundant(x15,a8,a16,24), redundant(x19,a8,endflow,33), redundant(x19,a8,endflow,43), redundant(x19,a8,endflow,47), redundant(x19,a8,endflow,55), redundant(x19,a8,endflow,59), redundant(x19,a8,a5,46), redundant(x19,a8,a5,58), redundant(x21,a8,endflow,43), redundant(x21,a8,endflow,47), redundant(x21,a8,endflow,55), redundant(x21,a8,endflow,59), compObjWrittenByActivityBeforeActivity(x8,a8,endflow,29), compObjWrittenByActivityBeforeActivity(x8,a8,endflow,33), compObjWrittenByActivityBeforeActivity(x15,a8,a18,22), compObjWrittenByActivityBeforeActivity(x19,a8,endflow,29), compObjWrittenByActivityBeforeActivity(x19,a8,a24,35), compObjWrittenByActivityBeforeActivity(x19,a8,a5,32), compObjWrittenByActivityBeforeActivity(x21,a8,a1,36)}