let _ =
  let res0 = Alloy.blackbox () in
  let res = Simpl.simplifier_resultat res0 in
  Spass.process_result (res : Simpl.negsimpl_formula Symb.resultat :> Fol.fol_formula Symb.resultat)