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

{}

{}

{redundant(x2,a11,endflow,15), redundant(x2,a11,endflow,19), redundant(x2,a11,a18,24), compObjWrittenByActivityBeforeActivity(x2,a11,a21,8), compObjWrittenByActivityBeforeActivity(x19,a11,endflow,15), compObjWrittenByActivityBeforeActivity(x19,a11,endflow,19), compObjWrittenByActivityBeforeActivity(x19,a11,endflow,29), compObjWrittenByActivityBeforeActivity(x19,a11,endflow,39), compObjWrittenByActivityBeforeActivity(x19,a11,endflow,42), compObjWrittenByActivityBeforeActivity(x25,a11,endflow,15), compObjWrittenByActivityBeforeActivity(x25,a11,endflow,19), compObjWrittenByActivityBeforeActivity(x25,a11,endflow,39), compObjWrittenByActivityBeforeActivity(x25,a11,endflow,42)}


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

{}

{}

{}