TestCopyTermImpl

constructor(solverFactory: SolverFactory)