semantic: Ensure that methods are sole overload candidates in their own methods.