Need to mark vardecl as flattened
Need to mark vardecl as flattened

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