candidate optimize isSuperOf