------------------------------------------
{subsActivityBeforeActivity(a27,a27,11), subsActivityBeforeActivity(a14,a14,12), subsActivityBeforeActivity(a32,a32,14), subsActivityBeforeActivity(a32,a32,22), subsActivityBeforeActivity(a32,a32,35), subsActivityBeforeActivity(a32,a32,50), subsActivityBeforeActivity(a32,a32,63)}

{}

{redundant(x15,a27,endflow,41), redundant(x31,a27,endflow,27), redundant(x31,a27,endflow,41), redundant(x31,a27,endflow,71), redundant(x31,a27,a39,63), compObjWrittenByActivityBeforeActivity(x15,a27,a33,34), compObjWrittenByActivityBeforeActivity(x30,a27,endflow,27), compObjWrittenByActivityBeforeActivity(x30,a27,endflow,57), compObjWrittenByActivityBeforeActivity(x30,a27,endflow,71), compObjWrittenByActivityBeforeActivity(x31,a27,a26,21)}

{redundant(x5,a14,a17,32), compObjWrittenByActivityBeforeActivity(x5,a14,endflow,29), compObjWrittenByActivityBeforeActivity(x5,a14,a12,31)}

{}

{redundant(x19,a32,a37,51), redundant(x19,a32,a32,17), redundant(x19,a32,a32,45), redundant(x19,a32,a32,61), compObjWrittenByActivityBeforeActivity(x8,a32,a14,14), compObjWrittenByActivityBeforeActivity(x19,a32,a5,10), compObjWrittenByActivityBeforeActivity(x19,a32,a20,40), compObjWrittenByActivityBeforeActivity(x19,a32,a32,27)}