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

{compObjWrittenByActivityBeforeActivity(x12,a11,a2,8), compObjWrittenByActivityBeforeActivity(x20,a11,a11,9)}

{}

{}

{redundant(x22,a10,endflow,32), redundant(x22,a10,endflow,38), redundant(x22,a10,endflow,41), redundant(x22,a10,endflow,43), redundant(x22,a10,a25,20), redundant(x22,a10,a4,23), compObjWrittenByActivityBeforeActivity(x22,a10,a20,19)}