Typed AST: Migrate IF_STATEMENT rule.
Add test for SWITCH_STATEMENT