[Pure] private bool SelectedMethodAlreadyHasContract()
        {
            Contract.Assert(_selectedFunctionDeclaration != null);

            return(_selectedFunctionDeclaration.GetContractMethodForAbstractFunction() != null);
        }