test-models/symres_fwd_invariant_state_var/symres_fwd_invariant_state_var.dzn:4:15: error: undefined identifier `b'
