prototype

fun prototype(solverFactory: SolverFactory): TestIfThen