test-models/wf_interfaceMustDefineBehavior/wf_interfaceMustDefineBehavior.dzn:10:3: error: event `enable' is not used in behavior of interface `Sensor'
test-models/wf_interfaceMustDefineBehavior/wf_interfaceMustDefineBehavior.dzn:9:1: error: interface must define a behavior
