------------------------------------------
{compObjWrittenByActivityBeforeActivity(x17,a22,a22,9), subsActivityBeforeActivity(a22,a22,9)}

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

{}

{compObjWrittenByActivityBeforeActivity(x3,a9,a2,13)}

{compObjWrittenByActivityBeforeActivity(x22,a6,a2,12), compObjWrittenByActivityBeforeActivity(x22,a6,a6,17)}

{compObjWrittenByActivityBeforeActivity(x12,a18,a18,20)}