(2) Checking stage
This is the stage during which the program learner checks
to see whether what is assumed at the assumption stage is
correct or not by executing or reading the program
thoroughly. The program learner would try, when necessary,
to understand the program line by line and by every function
in it.