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

{compObjWrittenByActivityBeforeActivity(x5,a22,a22,8)}

{}

{redundant(x1,a20,a2,38), redundant(x1,a20,a2,61), redundant(x1,a20,a7,39), redundant(x1,a20,a7,62), redundant(x22,a20,endflow,42), redundant(x22,a20,endflow,52), redundant(x22,a20,endflow,57), compObjWrittenByActivityBeforeActivity(x1,a20,a8,35), compObjWrittenByActivityBeforeActivity(x1,a20,a3,84), compObjWrittenByActivityBeforeActivity(x22,a20,endflow,65), compObjWrittenByActivityBeforeActivity(x22,a20,endflow,75), compObjWrittenByActivityBeforeActivity(x22,a20,endflow,80), compObjWrittenByActivityBeforeActivity(x22,a20,endflow,91), compObjWrittenByActivityBeforeActivity(x22,a20,endflow,101), compObjWrittenByActivityBeforeActivity(x22,a20,endflow,106), compObjWrittenByActivityBeforeActivity(x22,a20,a16,36), compObjWrittenByActivityBeforeActivity(x25,a20,endflow,42), compObjWrittenByActivityBeforeActivity(x25,a20,endflow,57), compObjWrittenByActivityBeforeActivity(x25,a20,endflow,65), compObjWrittenByActivityBeforeActivity(x25,a20,endflow,80), compObjWrittenByActivityBeforeActivity(x25,a20,a18,47), compObjWrittenByActivityBeforeActivity(x25,a20,a18,70)}