Flatten annotations and don't propagate annotations into call arguments
Flatten annotations and don't propagate annotations into call arguments

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