Adds readAndSolve and isSolutionOf's method body.