MIPD only plugs in if all the POST predicates are declared (necessary to check early since added direct domain conversion)
MIPD only plugs in if all the POST predicates are declared (necessary to check early since added direct domain conversion)

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