------------------------------------------
{subsActivityBeforeActivity(a15,a15,9)}

{}

{redundant(x1,a15,a8,38), redundant(x1,a15,a8,60), redundant(x1,a15,a13,41), redundant(x1,a15,a13,63), compObjWrittenByActivityBeforeActivity(x1,a15,a16,37), compObjWrittenByActivityBeforeActivity(x1,a15,a16,59), compObjWrittenByActivityBeforeActivity(x2,a15,a10,34)}

{compObjWrittenByActivityBeforeActivity(x4,a18,a23,52), compObjWrittenByActivityBeforeActivity(x16,a18,a18,11), compObjWrittenByActivityBeforeActivity(x16,a18,a18,31), compObjWrittenByActivityBeforeActivity(x22,a18,a9,30)}


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

{}

{}

{}