fixed ifStmtNode so that body is always checked