------------------------------------------
{subsActivityBeforeActivity(a12,a12,6), subsActivityBeforeActivity(a18,a18,8)}

{}

{redundant(x11,a18,endflow,23), redundant(x11,a18,endflow,28), redundant(x11,a18,endflow,40), compObjWrittenByActivityBeforeActivity(x11,a18,a10,20)}