anchor.diff:  
       static member private lesserEqual term term2 =
           match (term, term2) with
  -        | (Z z, Z z2) -> z <= z2
  -        | (R r, R r2) -> r <= r2
  +        | (I i, I i2) -> i <= i2
  +        | (F f, F f2) -> f <= f2
           | (Cmp c, Cmp c2) -> c.CompareTo c2 <= 0
           | (Terms terms, Terms terms2) ->
               if terms.Length = terms2.Length
  
positive.code: 
      static member private equalTo term term2 =
          match (term, term2) with
          | (Z z, Z z2) -> z = z2
          | (R r, R r2) -> r = r2
          | (V3 v, V3 v2) -> v3Eq v v2
          | (B3 b, B3 b2) -> box3Eq b b2
          | (Cmp c, Cmp c2) -> c = c2
  
negative.code: 
      static member private lesserThan term term2 =
          match (term, term2) with
          | (I i, I i2) -> i < i2
          | (F f, F f2) -> f < f2
          | (Cmp c, Cmp c2) -> c.CompareTo c2 < 0
          | (Terms terms, Terms terms2) ->
              if terms.Length = terms2.Length
  