Adding frame in Solver.x10