prototype

fun prototype(solverFactory: SolverFactory, errorSignature: Signature = Signature("once", 1)): TestOnce