ExprNoSpecificBinaryExprsCheckLevel cif test has mistake for modulus test

// MODULUS.
group MODULUS:
  input int i;
  invariant GG: 1 mod 1 = 0;
  invariant GI: 1 mod i = 0;
  invariant IG: 1 mod 1 = 0;
  invariant II: i mod i = 0;
end

invariant GG and IG are equal. Invariant IG should be i mod 1 = 0;.