sig
  val niceness : Formula.formula -> int
  val remove_exist : Formula.formula -> Formula.formula
  val simplify : ?keep_nonempty_predicates:bool -> Arena.game -> Arena.game
end