test-models/symres_fwd_state_var_init/symres_fwd_state_var_init.dzn:5:14: error: undefined identifier `b'
