Predicate inputIsConstantIfOutputHasProperty
Holds if whenever outputNode satisfies p, inputNode matched a constant
in a case clause of a switch statement.
Import path
import semmle.go.dataflow.internal.TaintTrackingUtilpredicate inputIsConstantIfOutputHasProperty(Node inputNode, Node outputNode, Property p)