remain: if else "non_empty_expr_node" problem