Fix allocation of IntSetVal (could lead to GC errors)
Fix allocation of IntSetVal (could lead to GC errors)

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