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

{redundant(x17,a12,endflow,34), redundant(x17,a12,endflow,37), compObjWrittenByActivityBeforeActivity(x17,a12,endflow,29), compObjWrittenByActivityBeforeActivity(x17,a12,a11,31)}

{}