------------------------------------------
{subsActivityBeforeActivity(a8,a8,9)}

{}

{redundant(x7,a8,endflow,61), redundant(x7,a8,endflow,64), redundant(x15,a8,a22,46), redundant(x15,a8,a3,47), compObjWrittenByActivityBeforeActivity(x5,a8,endflow,49), compObjWrittenByActivityBeforeActivity(x5,a8,a8,10), compObjWrittenByActivityBeforeActivity(x7,a8,endflow,49), compObjWrittenByActivityBeforeActivity(x7,a8,a21,59), compObjWrittenByActivityBeforeActivity(x15,a8,a25,45)}

{}