let context_of n = 
  match Symtab.lookup n s.symtab with
    | Symtab.State(c) -> c
    | _ -> raise (Invalid_argument("No context of name " ^ (Name.to_string n)))