------------------------------------------
{subsActivityBeforeActivity(a13,a13,10)}

{compObjWrittenByActivityBeforeActivity(x25,a1,endflow,62), compObjWrittenByActivityBeforeActivity(x25,a1,endflow,71), compObjWrittenByActivityBeforeActivity(x25,a1,endflow,76), compObjWrittenByActivityBeforeActivity(x25,a1,endflow,87), compObjWrittenByActivityBeforeActivity(x25,a1,endflow,92)}

{redundant(x14,a13,endflow,84), redundant(x14,a13,endflow,102), compObjWrittenByActivityBeforeActivity(x14,a13,endflow,63), compObjWrittenByActivityBeforeActivity(x14,a13,endflow,73), compObjWrittenByActivityBeforeActivity(x14,a13,endflow,91), compObjWrittenByActivityBeforeActivity(x14,a13,a12,76), compObjWrittenByActivityBeforeActivity(x14,a13,a12,94), compObjWrittenByActivityBeforeActivity(x14,a13,a2,82), compObjWrittenByActivityBeforeActivity(x14,a13,a2,100)}

{}

{compObjWrittenByActivityBeforeActivity(x2,a24,a7,52), compObjWrittenByActivityBeforeActivity(x2,a24,a22,13)}