Symbol: get_implied_value_internal