Is `if` a statement here or not? If yes, `tpe = UndefType`, if no, shouldn't go under statements.