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

{}

{redundant(x13,a1,endflow,29), redundant(x13,a1,endflow,34), redundant(x13,a1,endflow,38), redundant(x13,a1,endflow,41), redundant(x13,a1,a7,19), redundant(x13,a1,a17,33), compObjWrittenByActivityBeforeActivity(x12,a1,a7,19), compObjWrittenByActivityBeforeActivity(x13,a1,a2,7), compObjWrittenByActivityBeforeActivity(x20,a1,endflow,29), compObjWrittenByActivityBeforeActivity(x20,a1,endflow,38)}

{}