Keep declared type if type of right-hand side is bottom (e.g. empty array or empty set). Partially fixes #3.
Keep declared type if type of right-hand side is bottom (e.g. empty array or empty set). Partially fixes #3.

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