open Fol

let _ =
  let res0 = Alloy.blackbox () in
  let res = Simpl.simplifier_resultat res0 in
  Spass.process_result res