Genetic programming-based automated program repair is actively studied as a bug fixing method. The existing methods evaluates randomly generated solution candidates using the success rate of test suites. However, the candidates are sometimes evaluated inaccurately. This study proposes a method to more appropriately judge the correctness of program candidates. The proposed method verifies the correctness of the intermediate calculation process using statements to check the predicted conditions for internal variables. In an experiment involving the Defects4J dataset, the execution time was reduced in 15 of the 23 bugs.