Holds if p is a parameter to a constructor that is used in a
ConstructorFieldInit at va. This ignores the corner case that p
might have been overwritten to have a different value before this happens.
Import path
import semmle.code.cpp.dataflow.internal.FlowVarpredicate parameterUsedInConstructorFieldInit(Parameter p, VariableAccess va)