Symbol: check_subexp_limits