Update the header comments of rs_check_ast.cpp