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