anchor.diff:    | Type (s, ts, kind, t) when s=x -> (Some (Type_info (ts, kind, t)), x)
     | Const (s, t) when s=x -> (Some (Info (t, None)), x)
     | Unsupported (s) when s=x -> (Some (Name s), x)
  -  | Include_module (s, opened) ->
  +  | Include_module (s, opened) when include_import ->
       let r = Map.tryFind x env.declsmap in
       match r with
       | Some r -> (Some r, x)
  
positive.code:   | _ -> None
  
  let check_not_local env x = 
    match lookup_name env x with
    | (Some (Info (t, info)), _) -> err ("formal: " + (err_id x) + " is a local variable")
    | _ -> ()
  
  
negative.code:   | Reserved _ -> (mn, Reserved sn)
    | Operator _ -> (mn, Operator sn)
  
  let lookup_name (env:env) (x:id) (include_import:bool):(name_info option * id) =
    let find = function 
    | Variable (s, t, info) when s=x -> (Some (Info (t, info)), x)
    | Func (s, decl) when s=x -> (Some (Func_decl decl), x)
  