Added minor functions to Solver.x10