czero.eqz and czero.neq are both emitting the same Sail function

[ThinkOpenly]

    {
      "mnemonic": "czero.eqz",
[...]
      "function": "{\n  let value = X(rs1);\n  let condition = X(rs2);\n  let result : xlenbits = if (condition != zeros()) then zeros()\n\t\t\t\t\t\t    else value;\n  X(rd) = result;\n  RETIRE_SUCCESS\n}",
      "description": "TBD"
    },
    {
      "mnemonic": "czero.nez",
[...]
      "function": "{\n  let value = X(rs1);\n  let condition = X(rs2);\n  let result : xlenbits = if (condition != zeros()) then zeros()\n\t\t\t\t\t\t    else value;\n  X(rd) = result;\n  RETIRE_SUCCESS\n}",

The first, for czero.eqz, should be == where currently it is !=.

The Sail code is unusual, providing 2 function clause execute functions where usually there is one with a match statement:

function clause execute (ZICOND_RTYPE(rs2, rs1, rd, RISCV_CZERO_EQZ)) = {
  let value = X(rs1);
  let condition = X(rs2);
  let result : xlenbits = if condition == zeros() then zeros()
                                                    else value;
  X(rd) = result;
  RETIRE_SUCCESS
}

function clause execute (ZICOND_RTYPE(rs2, rs1, rd, RISCV_CZERO_NEZ)) = {
  let value = X(rs1);
  let condition = X(rs2);
  let result : xlenbits = if (condition != zeros()) then zeros()
                                                    else value;
  X(rd) = result;
  RETIRE_SUCCESS
}
```