Riju :: MiniZinc Run Prettify Autocomplete OFF