Assertions preserve boolean context
Assertions preserve boolean context

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