anchor.diff:              (end_itlist (<|>) (map (fun (s,_) -> a (Ident s)) topins)) 
                fun1 "term after binary operator" inp
       | _ -> prs inp
  +
     let pmk_geq s t = Combp(Combp(Varp("GEQ",dpty),s),t)
  +
     let pmk_pattern ((pat,guards),res) =
       let x = pgenvar()
       let y = pgenvar()
  
positive.code:      else
         Combp(Combp(Combp(Varp("_GUARDED_PATTERN",dpty),pmk_geq pat x), hd guards), pmk_geq res y)
      Absp(x,Absp(y,itlist (curry pmk_exists) vs bod))
    let pretype = parse_pretype
    let rec string inp = 
        match inp with
        | Ident s :: rst when String.length s >= 2 && String.sub s 0 1 = "\"" && String.sub s (String.length s - 1) 1 = "\"" -> 
  
negative.code:     match l with
        [] -> true
      | h::t -> forall (r h) t && pairwise r t
  
    let rec pfrees ptm acc =
      match ptm with
        Varp(v,pty) ->
  