Remove output annotations from redefined variables (and arrays), and remove those variables from the generated FlatZinc if they are unused
Remove output annotations from redefined variables (and arrays), and remove those variables from the generated FlatZinc if they are unused

nathanielbaxter/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc