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

{}

{}

{redundant(x3,a4,a7,10), compObjWrittenByActivityBeforeActivity(x3,a4,a12,9)}

{compObjWrittenByActivityBeforeActivity(x22,a13,a13,14)}


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

{}

{}

{}

{}