implement if statement behavior
test check correctness of AST itself