------------------------------------------
{subsActivityBeforeActivity(a3,a3,10)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x6,a11,a11,12)}

{redundant(x5,a7,a3,11), compObjWrittenByActivityBeforeActivity(x5,a7,a21,8)}