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

{}

{redundant(x2,a18,endflow,70), redundant(x6,a18,endflow,54), redundant(x6,a18,endflow,60), redundant(x31,a18,endflow,70), redundant(x31,a18,endflow,76), compObjWrittenByActivityBeforeActivity(x2,a18,endflow,47), compObjWrittenByActivityBeforeActivity(x2,a18,endflow,54), compObjWrittenByActivityBeforeActivity(x2,a18,a12,63), compObjWrittenByActivityBeforeActivity(x6,a18,endflow,47), compObjWrittenByActivityBeforeActivity(x6,a18,a15,49), compObjWrittenByActivityBeforeActivity(x19,a18,endflow,47), compObjWrittenByActivityBeforeActivity(x19,a18,endflow,54), compObjWrittenByActivityBeforeActivity(x19,a18,endflow,70), compObjWrittenByActivityBeforeActivity(x31,a18,endflow,47), compObjWrittenByActivityBeforeActivity(x31,a18,a17,50), compObjWrittenByActivityBeforeActivity(x31,a18,a2,62)}