UnrollStatement can call ctor and field_init (rely on control flow analysis)
Add Scope::fieldinit, fix modifyFieldVar, CondExp and IfStatement
+rough change
+fieldinit_dim
+Add tests