test/all/undefined/if/if.dzn:27:14: error: undefined identifier `p'
