Primitive flow analysis for constructors
OR CSX bits to this
Create a deep copy of this
Set CSX bits in flow analysis state
See Implementation
Primitive flow analysis for constructors