Narrowing down of the scope in the program to read
supports the assumption stage, which can be accomplished
by obtaining the execution histories and extracting their
differences. The checking stage is supported not by the
dynamic information related to the program behavior, but by
the static information to give to the learner through an
interface based on both the information available from the
differences of execution histories and the static information
extracted. Then the recording stage is supported by allowing
the learner to record the information of what the learner has
understood in the way s/he usually attaches a sticky note on
paper.