protected override void DoConvertMethodBody(IList <IStatement> outputs, IList <IStatement> inputs) { base.DoConvertMethodBody(outputs, inputs); // check for complete definitions foreach (var entry in definitionBindings) { BindingSet reducedBindings = BindingSet.FromBindings(entry.Value).Simplify(); if (reducedBindings.set.Count > 0) { Error("'" + entry.Key.Name + "' is not defined in all cases. It is only defined for " + reducedBindings); } } }