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

{}

{redundant(x13,a15,endflow,34), redundant(x13,a15,endflow,38), redundant(x13,a15,endflow,54), redundant(x13,a15,endflow,58), redundant(x13,a15,a14,22), redundant(x13,a15,a24,43), compObjWrittenByActivityBeforeActivity(x4,a15,a24,43), compObjWrittenByActivityBeforeActivity(x13,a15,a18,6)}