Added subsection on termination checking to the implementation section.