------------------------------------------
{subsActivityBeforeActivity(a9,a9,9), subsActivityBeforeActivity(a20,a20,10)}

{}

{}

{}

{}

{redundant(x21,a12,endflow,23), redundant(x21,a12,endflow,46), redundant(x21,a12,a15,14), compObjWrittenByActivityBeforeActivity(x21,a12,a9,10)}


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

{}

{}

{}

{}

{}