prototype

fun prototype(solverFactory: SolverFactory): TestIs