looking at replCorrect, rename print_result in the implementation

since a different thing is called print_result in the semantics