Implement support for IfStmts. Use Sema instead of creating raw AST nodes. Handle the case where unary operator is involved.