test/all/undefined/return/return.dzn:28:14: error: undefined identifier `b'
