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

{}

{}

{redundant(x8,a9,endflow,33), redundant(x8,a9,endflow,40), redundant(x8,a9,a15,39), compObjWrittenByActivityBeforeActivity(x8,a9,endflow,26), compObjWrittenByActivityBeforeActivity(x8,a9,a14,29)}


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

{}

{}

{}