TestAtomConcatImpl

constructor(solverFactory: SolverFactory)