Symbol: check_subexp_matching_top