Do not create subsumed integer comparisons
Do not create subsumed integer comparisons

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