Predicate signature InputSig::neutralElement
Holds if a neutral (MaD) model exists for c of kind kind
with provenance provenance and isExact is true if the model
signature matches c exactly - otherwise false.
signature predicate neutralElement(SummarizedCallableBase c, string kind, string provenance, boolean isExact)