bug fix: move around registers for if-test using reaching definition analysis
bug fix: reset base offset for switch, which may be altered if it was the first instruction of the method