------------------------------------------
{compObjWrittenByActivityBeforeActivity(x6,a23,a23,7)}

{compObjWrittenByActivityBeforeActivity(x6,a22,a23,7), compObjWrittenByActivityBeforeActivity(x6,a22,a22,9)}

{}

{redundant(x8,a6,endflow,22), redundant(x8,a6,a16,21), redundant(x9,a6,endflow,31), compObjWrittenByActivityBeforeActivity(x8,a6,a6,13), compObjWrittenByActivityBeforeActivity(x8,a6,a4,19), compObjWrittenByActivityBeforeActivity(x9,a6,endflow,22), compObjWrittenByActivityBeforeActivity(x9,a6,endflow,42), compObjWrittenByActivityBeforeActivity(x9,a6,a17,28), compObjWrittenByActivityBeforeActivity(x20,a6,endflow,22)}


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

{}

{}

{}