Set the termination test to NIL by default, indicating no termination.
Do not set the termination test in subclasses.
Only include termination test if TO/UPTO/BELOW/DOWNTO/ABOVE was given.