------------------------------------------
{subsActivityBeforeActivity(a22,a22,6)}

{redundant(x12,a22,endflow,34), redundant(x12,a22,endflow,42), redundant(x12,a22,a19,45), compObjWrittenByActivityBeforeActivity(x12,a22,a2,20)}


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

{}