------------------------------------------
{subsActivityBeforeActivity(a6,a6,8)}

{compObjWrittenByActivityBeforeActivity(x17,a6,a4,7)}

{}

{redundant(x8,a10,endflow,18), redundant(x8,a10,endflow,25), compObjWrittenByActivityBeforeActivity(x7,a10,a4,8), compObjWrittenByActivityBeforeActivity(x8,a10,endflow,29), compObjWrittenByActivityBeforeActivity(x8,a10,endflow,40), compObjWrittenByActivityBeforeActivity(x8,a10,endflow,43), compObjWrittenByActivityBeforeActivity(x8,a10,a21,17), compObjWrittenByActivityBeforeActivity(x8,a10,a3,24)}


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

{}

{}

{}