------------------------------------------
{subsActivityBeforeActivity(a3,a3,8)}

{compObjWrittenByActivityBeforeActivity(x7,a2,a2,10)}

{}

{}

{redundant(x15,a5,endflow,77), redundant(x15,a5,endflow,82), redundant(x15,a5,endflow,86), redundant(x15,a5,endflow,91), compObjWrittenByActivityBeforeActivity(x15,a5,a1,12)}