let replace e g =        (* don't replace in clauses. *)
  let fcts' =  
    List.map (Fact.replace e) g.facts
  in
    g.facts <- fcts'