------------------------------------------
{compObjWrittenByActivityBeforeActivity(x8,a25,a25,7)}

{}

{}

{redundant(x13,a21,endflow,18), redundant(x13,a21,endflow,24), compObjWrittenByActivityBeforeActivity(x13,a21,endflow,33), compObjWrittenByActivityBeforeActivity(x13,a21,endflow,39), compObjWrittenByActivityBeforeActivity(x13,a21,endflow,42), compObjWrittenByActivityBeforeActivity(x13,a21,a6,16), compObjWrittenByActivityBeforeActivity(x21,a21,a21,11)}