------------------------------------------
{subsActivityBeforeActivity(a11,a11,12)}

{compObjWrittenByActivityBeforeActivity(x24,a16,a16,9)}

{}

{}

{redundant(x23,a11,endflow,23), compObjWrittenByActivityBeforeActivity(x23,a11,endflow,32), compObjWrittenByActivityBeforeActivity(x23,a11,endflow,44), compObjWrittenByActivityBeforeActivity(x23,a11,a8,17)}