------------------------------------------
{compObjWrittenByActivityBeforeActivity(x13,a8,a8,8), subsActivityBeforeActivity(a8,a8,8)}

{compObjWrittenByActivityBeforeActivity(x23,a15,a15,11)}

{}

{redundant(x13,a13,endflow,77), redundant(x13,a13,endflow,80), compObjWrittenByActivityBeforeActivity(x13,a13,endflow,105), compObjWrittenByActivityBeforeActivity(x13,a13,endflow,108), compObjWrittenByActivityBeforeActivity(x13,a13,endflow,116), compObjWrittenByActivityBeforeActivity(x13,a13,endflow,119), compObjWrittenByActivityBeforeActivity(x13,a13,a8,8), compObjWrittenByActivityBeforeActivity(x13,a13,a14,71)}

{compObjWrittenByActivityBeforeActivity(x13,a9,a13,8), compObjWrittenByActivityBeforeActivity(x13,a9,a13,72), compObjWrittenByActivityBeforeActivity(x13,a9,a13,107), compObjWrittenByActivityBeforeActivity(x13,a9,a13,111), compObjWrittenByActivityBeforeActivity(x13,a9,a13,120), compObjWrittenByActivityBeforeActivity(x13,a9,a13,124)}