#7 use of normal GDB commands breaks LIZARD

[Soam S. Vasani]

The regular GDB commands such as next, step, etc. do not
update LIZARD's state.

Therefore, any LIZARD command given after such a
GDB command is not guaranteed to work.

(Commands like "print" which do not change the
state of the program are ok.)