Implement is_superfluous().