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

{}

{}

{redundant(x7,a16,endflow,16), redundant(x7,a16,endflow,23), redundant(x7,a16,a9,10), redundant(x10,a16,endflow,16), redundant(x10,a16,endflow,37), redundant(x10,a16,endflow,40), redundant(x21,a16,endflow,37), redundant(x21,a16,endflow,40), compObjWrittenByActivityBeforeActivity(x7,a16,a20,9), compObjWrittenByActivityBeforeActivity(x10,a16,a20,9), compObjWrittenByActivityBeforeActivity(x11,a16,endflow,16), compObjWrittenByActivityBeforeActivity(x11,a16,endflow,23), compObjWrittenByActivityBeforeActivity(x21,a16,endflow,16), compObjWrittenByActivityBeforeActivity(x21,a16,endflow,23), compObjWrittenByActivityBeforeActivity(x21,a16,a25,27)}


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

{}

{}

{}