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

{redundant(x21,a3,endflow,45), redundant(x21,a3,endflow,49), redundant(x21,a3,endflow,54), redundant(x21,a3,endflow,56), compObjWrittenByActivityBeforeActivity(x21,a3,a4,13)}

{redundant(x25,a5,endflow,26), redundant(x25,a5,endflow,31), redundant(x25,a5,endflow,33), compObjWrittenByActivityBeforeActivity(x25,a5,a24,6)}


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

{}

{}