------------------------------------------
{subsActivityBeforeActivity(a9,a9,10), subsActivityBeforeActivity(a15,a15,13)}

{}

{}

{}

{redundant(x9,a15,endflow,64), redundant(x9,a15,endflow,74), redundant(x9,a15,endflow,77), compObjWrittenByActivityBeforeActivity(x9,a15,endflow,41), compObjWrittenByActivityBeforeActivity(x9,a15,endflow,51), compObjWrittenByActivityBeforeActivity(x9,a15,endflow,54), compObjWrittenByActivityBeforeActivity(x9,a15,a18,56)}

{redundant(x6,a4,a6,36), compObjWrittenByActivityBeforeActivity(x6,a4,a5,9), compObjWrittenByActivityBeforeActivity(x15,a4,a19,12)}


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

{}

{}

{}

{}

{}