------------------------------------------
{subsActivityBeforeActivity(a20,a20,8)}

{}

{}

{redundant(x9,a7,endflow,45), redundant(x9,a7,endflow,64), redundant(x9,a7,a11,53), redundant(x9,a7,a12,38), redundant(x9,a7,a12,57), redundant(x9,a7,a2,47), redundant(x9,a7,a2,66), compObjWrittenByActivityBeforeActivity(x9,a7,a21,30)}


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

{}

{}

{}