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