public bool TheyAreUs(IVerifiableType they, bool noTagBacks) { if (they is IMethodType method) { return(InputType.TheyAreUs(method.InputType, false) && OutputType.WeAreThem(method.OutputType, false)); } if (noTagBacks) { return(false); } return(this.WeAreThem(this, true)); }