semantic: Use the end of switch blocks as the continuation of execution.