FALSE
copris
find
AbstractSolver CoprisTrait SolverTrait
findBody
AbstractSolver Solver
findNext
AbstractSolver CoprisTrait SolverTrait
findNextBody
AbstractSolver Solver
findOpt
AbstractSolver CoprisTrait SolverTrait
findOptBody
AbstractSolver Solver
findOptBound
AbstractSolver
findOptBoundBody
AbstractSolver Solver