------------------------------------------
{subsActivityBeforeActivity(a2,a2,9), subsActivityBeforeActivity(a9,a9,11)}

{}

{}

{redundant(x24,a9,endflow,31), redundant(x24,a9,endflow,34), redundant(x24,a9,endflow,42), redundant(x24,a9,endflow,45), compObjWrittenByActivityBeforeActivity(x24,a9,a22,29), compObjWrittenByActivityBeforeActivity(x24,a9,a22,40)}

{compObjWrittenByActivityBeforeActivity(x10,a23,a7,27)}


------------------------------------------
{}

{}

{}

{}

{}