------------------------------------------
{subsActivityBeforeActivity(a10,a10,13), subsActivityBeforeActivity(a4,a4,14), subsActivityBeforeActivity(a4,a4,33), subsActivityBeforeActivity(a4,a4,55)}

{}

{compObjWrittenByActivityBeforeActivity(x10,a14,endflow,65), compObjWrittenByActivityBeforeActivity(x10,a14,endflow,73)}

{}

{redundant(x18,a10,endflow,42), redundant(x18,a10,endflow,48), redundant(x18,a10,endflow,50), compObjWrittenByActivityBeforeActivity(x18,a10,endflow,66), compObjWrittenByActivityBeforeActivity(x18,a10,endflow,72), compObjWrittenByActivityBeforeActivity(x18,a10,endflow,75), compObjWrittenByActivityBeforeActivity(x18,a10,a10,14), compObjWrittenByActivityBeforeActivity(x18,a10,a24,32)}

{}


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

{}

{}

{}

{}

{}