test-models/symres_defer_capture_port_name/symres_defer_capture_port_name.dzn:4:31: error: undefined identifier `p'
