Formatting and commenting
Renaming of test cases
debugger: First steps on resuming