Problems with debugger?

[brad@cs.adelaide.edu.au (Bradley Alexander)]

Hello,
      I've been testing the typol definition of a simple language 
(called Adl) that I have defined. I am currently trying to eliminate 
sources of backtracking from this definition. 

To do this I am executing my definition in debug mode over some
simple Adl programs that seem to cause the backtracking problems.
This process goes smoothy until a rule fails (I deliberately make
the code of my Adl program incorrect so I can force the 
debugger to backtrack and expose the backtracking problems) when 
this happens I can work the debugger in step mode until a certain
point and then pressing the "step" button will have exactly the 
same effect as pressing the "go" button and the program will be
interpreted to its conclusion.

All of the rules used in the execution of the Adl programs that I am
using reside in the one typol file, which is compiled in debug mode
(to be safe I compiled all of the typol files in the Adl definition
in debug mode). The problem doesn't seem to occur at a set boundary
either. 

Is this a known problem? If it isn't I will reduce the problem to
its essential elements and send a detailed summary so it can be
replicated.

Thanks,
    Brad Alexander