optimize isSuperOf