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

{compObjWrittenByActivityBeforeActivity(x22,a2,a2,10)}

{}

{redundant(x2,a19,a19,13), compObjWrittenByActivityBeforeActivity(x2,a19,a7,12), compObjWrittenByActivityBeforeActivity(x22,a19,a2,10)}

{}


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

{}

{}

{}

{}