------------------------------------------
{subsActivityBeforeActivity(a5,a5,8), subsActivityBeforeActivity(a24,a24,12)}

{}

{compObjWrittenByActivityBeforeActivity(x7,a17,a5,9), compObjWrittenByActivityBeforeActivity(x24,a17,a5,9)}

{}

{redundant(x22,a24,endflow,56), redundant(x22,a24,endflow,60), redundant(x22,a24,endflow,86), redundant(x22,a24,endflow,90), redundant(x22,a24,a12,58), redundant(x22,a24,a12,88), compObjWrittenByActivityBeforeActivity(x11,a24,a13,49), compObjWrittenByActivityBeforeActivity(x11,a24,a13,79), compObjWrittenByActivityBeforeActivity(x21,a24,endflow,56), compObjWrittenByActivityBeforeActivity(x21,a24,endflow,60), compObjWrittenByActivityBeforeActivity(x21,a24,endflow,70), compObjWrittenByActivityBeforeActivity(x21,a24,endflow,74), compObjWrittenByActivityBeforeActivity(x21,a24,endflow,86), compObjWrittenByActivityBeforeActivity(x21,a24,endflow,90), compObjWrittenByActivityBeforeActivity(x21,a24,endflow,100), compObjWrittenByActivityBeforeActivity(x21,a24,endflow,104), compObjWrittenByActivityBeforeActivity(x22,a24,a22,12)}