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

{}

{redundant(x14,a22,endflow,51), redundant(x23,a22,endflow,67), redundant(x23,a22,endflow,75), redundant(x23,a22,endflow,82), compObjWrittenByActivityBeforeActivity(x14,a22,a5,47), compObjWrittenByActivityBeforeActivity(x23,a22,endflow,51), compObjWrittenByActivityBeforeActivity(x23,a22,a2,61)}

{}