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

{redundant(x2,a5,endflow,39), redundant(x2,a5,endflow,45), redundant(x2,a5,endflow,49), redundant(x2,a5,endflow,64), redundant(x2,a5,endflow,70), redundant(x2,a5,endflow,74), redundant(x6,a5,endflow,39), redundant(x6,a5,endflow,45), redundant(x6,a5,endflow,49), compObjWrittenByActivityBeforeActivity(x2,a5,a21,33), compObjWrittenByActivityBeforeActivity(x2,a5,a21,58), compObjWrittenByActivityBeforeActivity(x6,a5,a5,6), compObjWrittenByActivityBeforeActivity(x6,a5,a2,51), compObjWrittenByActivityBeforeActivity(x6,a5,a18,36)}


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

{}