let context_empty () = Context.empty