let _ =
  let res0 = Alloy.blackbox () in
  print_endline "open Fol";
  print_endline "let brute = ";
  print_endline (Folocaml.string_of_resultat res0);
  let res = Simpl.simplifier_resultat res0 in
  print_endline "let simplified = ";
  print_endline (Folocaml.string_of_resultat res)