Uses of Interface
boomerang.SolverCreationListener