------------------------------------------
{compObjWrittenByActivityBeforeActivity(x13,a22,a22,9), subsActivityBeforeActivity(a18,a18,10), subsActivityBeforeActivity(a19,a19,14), subsActivityBeforeActivity(a19,a19,18), subsActivityBeforeActivity(a19,a19,33), subsActivityBeforeActivity(a19,a19,38), subsActivityBeforeActivity(a19,a19,46), subsActivityBeforeActivity(a19,a19,51), subsActivityBeforeActivity(a19,a19,58), subsActivityBeforeActivity(a19,a19,63)}

{}

{}

{}

{compObjWrittenByActivityBeforeActivity(x16,a7,endflow,23)}

{redundant(x8,a19,a9,20), redundant(x24,a19,a4,26), compObjWrittenByActivityBeforeActivity(x7,a19,a19,17), compObjWrittenByActivityBeforeActivity(x7,a19,a19,22), compObjWrittenByActivityBeforeActivity(x8,a19,a2,14), compObjWrittenByActivityBeforeActivity(x8,a19,a3,37), compObjWrittenByActivityBeforeActivity(x8,a19,a3,52), compObjWrittenByActivityBeforeActivity(x8,a19,a3,66), compObjWrittenByActivityBeforeActivity(x24,a19,a22,10)}