Fix a bug in visiting BlockStatement and add unit tests for if-statement