let split s = 
  Atom.Set.elements (Context.split s)