debugger substitution feature

Update to the current debugger to show rules applied, and the substitution at every transition. Do not review yet. 
this doesn't look right to me. Can you explain to me why you were unable to use javaKILRun?