Member predicate ModelInput :: SummaryModelCsv :: row
Holds if row specifies a summary definition.
A row of form
type;path;input;output;kind
indicates that for each call to (type, path), the value referred to by input
can flow to the value referred to by output.
kind should be either value or taint, for value-preserving or taint-preserving steps,
respectively.