test/all/undefined/interface/trigger/trigger.dzn:27:8: error
    on a: {}
       ^
       undefined identifier `a'
