Recursively optimise constraints when elements in array literals become fixed
Recursively optimise constraints when elements in array literals become fixed

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