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

{}

{redundant(x24,a19,endflow,45), redundant(x24,a19,a10,40), compObjWrittenByActivityBeforeActivity(x1,a19,endflow,26), compObjWrittenByActivityBeforeActivity(x1,a19,endflow,31), compObjWrittenByActivityBeforeActivity(x1,a19,a9,37), compObjWrittenByActivityBeforeActivity(x6,a19,a15,9), compObjWrittenByActivityBeforeActivity(x24,a19,endflow,26), compObjWrittenByActivityBeforeActivity(x24,a19,endflow,31), compObjWrittenByActivityBeforeActivity(x24,a19,a18,39)}

{}

{redundant(x3,a21,endflow,29), redundant(x3,a21,endflow,36), redundant(x3,a21,a11,32), compObjWrittenByActivityBeforeActivity(x3,a21,endflow,21), compObjWrittenByActivityBeforeActivity(x3,a21,a20,23)}