Migrated Sequence.is_restricted_growth_function().