Treat mustInit type in VarDeclaration::semantic
UnrollStatement can call ctor and field_init (rely on control flow analysis)
Add Scope::fieldinit, fix modifyFieldVar, CondExp and IfStatement
+rough change