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

{}

{}

{redundant(x6,a21,endflow,36), redundant(x6,a21,endflow,42), compObjWrittenByActivityBeforeActivity(x6,a21,endflow,20), compObjWrittenByActivityBeforeActivity(x6,a21,endflow,26), compObjWrittenByActivityBeforeActivity(x6,a21,a22,34)}