------------------------------------------
{subsActivityBeforeActivity(a9,a9,12), subsActivityBeforeActivity(a9,a9,56), subsActivityBeforeActivity(a4,a4,13), subsActivityBeforeActivity(a4,a4,57)}

{redundant(x12,a23,endflow,64), compObjWrittenByActivityBeforeActivity(x2,a23,endflow,64), compObjWrittenByActivityBeforeActivity(x2,a23,endflow,71), compObjWrittenByActivityBeforeActivity(x2,a23,a17,80), compObjWrittenByActivityBeforeActivity(x12,a23,a4,61), compObjWrittenByActivityBeforeActivity(x20,a23,a23,10)}

{redundant(x18,a12,endflow,87), redundant(x19,a12,endflow,75), redundant(x19,a12,endflow,79), redundant(x19,a12,endflow,87), compObjWrittenByActivityBeforeActivity(x18,a12,endflow,67), compObjWrittenByActivityBeforeActivity(x18,a12,endflow,75), compObjWrittenByActivityBeforeActivity(x18,a12,endflow,79), compObjWrittenByActivityBeforeActivity(x18,a12,a6,81), compObjWrittenByActivityBeforeActivity(x19,a12,endflow,67), compObjWrittenByActivityBeforeActivity(x19,a12,a12,12), compObjWrittenByActivityBeforeActivity(x19,a12,a3,71)}

{}

{compObjWrittenByActivityBeforeActivity(x20,a4,a23,10), compObjWrittenByActivityBeforeActivity(x20,a4,a12,13)}

{}