------------------------------------------
{subsActivityBeforeActivity(a18,a18,6)}

{redundant(x15,a18,a10,27), redundant(x16,a18,endflow,41), redundant(x16,a18,endflow,45), redundant(x16,a18,a7,36), compObjWrittenByActivityBeforeActivity(x2,a18,endflow,34), compObjWrittenByActivityBeforeActivity(x2,a18,endflow,41), compObjWrittenByActivityBeforeActivity(x2,a18,endflow,45), compObjWrittenByActivityBeforeActivity(x2,a18,endflow,57), compObjWrittenByActivityBeforeActivity(x2,a18,endflow,64), compObjWrittenByActivityBeforeActivity(x2,a18,endflow,68), compObjWrittenByActivityBeforeActivity(x15,a18,a4,5), compObjWrittenByActivityBeforeActivity(x16,a18,a20,30)}


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

{}