------------------------------------------
{subsActivityBeforeActivity(a6,a6,9), subsActivityBeforeActivity(a25,a25,10), subsActivityBeforeActivity(a25,a25,21), subsActivityBeforeActivity(a25,a25,31), subsActivityBeforeActivity(a25,a25,37), subsActivityBeforeActivity(a25,a25,42)}

{redundant(x21,a15,endflow,25), redundant(x21,a15,endflow,36), redundant(x21,a15,endflow,43), redundant(x21,a15,endflow,49), compObjWrittenByActivityBeforeActivity(x21,a15,a16,7)}

{redundant(x20,a6,a14,19), compObjWrittenByActivityBeforeActivity(x12,a6,endflow,26), compObjWrittenByActivityBeforeActivity(x20,a6,a18,18)}

{compObjWrittenByActivityBeforeActivity(x3,a25,a24,30)}