------------------------------------------
{compObjWrittenByActivityBeforeActivity(x14,a25,a25,7), subsActivityBeforeActivity(a3,a3,9), subsActivityBeforeActivity(a12,a12,10)}

{}

{redundant(x2,a3,a16,38), compObjWrittenByActivityBeforeActivity(x2,a3,a22,36)}

{}


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

{}

{}

{}