------------------------------------------
{subsActivityBeforeActivity(a22,a22,8), subsActivityBeforeActivity(a12,a12,9), subsActivityBeforeActivity(a11,a11,10)}

{}

{compObjWrittenByActivityBeforeActivity(x25,a11,a22,9)}

{redundant(x24,a19,a19,15), compObjWrittenByActivityBeforeActivity(x24,a19,a11,14), compObjWrittenByActivityBeforeActivity(x25,a19,a11,9)}

{compObjWrittenByActivityBeforeActivity(x24,a18,a19,15)}


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

{}

{}

{}

{}