------------------------------------------
{subsActivityBeforeActivity(a16,a16,7)}

{compObjWrittenByActivityBeforeActivity(x2,a16,endflow,18), compObjWrittenByActivityBeforeActivity(x2,a16,endflow,21), compObjWrittenByActivityBeforeActivity(x2,a16,endflow,30), compObjWrittenByActivityBeforeActivity(x2,a16,endflow,38)}

{redundant(x6,a3,endflow,23), redundant(x6,a3,a18,15), redundant(x25,a3,endflow,42), redundant(x25,a3,endflow,51), compObjWrittenByActivityBeforeActivity(x6,a3,a11,13), compObjWrittenByActivityBeforeActivity(x9,a3,a5,12), compObjWrittenByActivityBeforeActivity(x25,a3,endflow,19), compObjWrittenByActivityBeforeActivity(x25,a3,endflow,33), compObjWrittenByActivityBeforeActivity(x25,a3,a6,36)}