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

{redundant(x1,a3,endflow,35), redundant(x1,a3,endflow,40), redundant(x21,a3,endflow,29), compObjWrittenByActivityBeforeActivity(x1,a3,endflow,17), compObjWrittenByActivityBeforeActivity(x1,a3,endflow,24), compObjWrittenByActivityBeforeActivity(x1,a3,a7,33), compObjWrittenByActivityBeforeActivity(x5,a3,a22,11), compObjWrittenByActivityBeforeActivity(x21,a3,endflow,24), compObjWrittenByActivityBeforeActivity(x21,a3,a2,27)}

{redundant(x3,a19,endflow,19), redundant(x3,a19,endflow,34), redundant(x3,a19,endflow,41), redundant(x3,a19,endflow,46), redundant(x25,a19,endflow,19), redundant(x25,a19,endflow,34), redundant(x25,a19,endflow,41), redundant(x25,a19,a24,17), compObjWrittenByActivityBeforeActivity(x3,a19,a15,14), compObjWrittenByActivityBeforeActivity(x22,a19,a1,6), compObjWrittenByActivityBeforeActivity(x25,a19,a22,12)}