A debugger that detects logic faults in small java programs