test-models/symres_on_undefined_port/symres_on_undefined_port.dzn:2:43: error
component C { provides I p; behavior { on nope.e(): {} } }
                                          ^
                                          undefined identifier `nope'
