test-models/symres_defer_undef_capture/symres_defer_undef_capture.dzn:4:31: error: undefined identifier `nope'
