Defer flattening of _reif decompositions, to enable the compiler to detect the cases where the control variable is fixed and the reification is not necessary
Defer flattening of _reif decompositions, to enable the compiler to detect the cases where the control variable is fixed and the reification is not necessary

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