Predicate Input::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.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImplpredicate neutralElement(SummarizedCallableBase c, string kind, string provenance, boolean isExact)