fixed bug in switch() handling due to lack of support for switch-branching to no-op instructions
changing tests to use new @noStaticRef annotation