add check_stmt, check_expr, check_id