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