Predicate DataFlow::constructorStep

An object construction that preserves the data flow status of any of its arguments.

predicate constructorStep(Expr tracked, ConstructorCall sink)