+TypeFunction::iswild
UnrollStatement can call ctor and field_init (rely on control flow analysis)
Add Scope::fieldinit, fix modifyFieldVar, CondExp and IfStatement
+isUniqData
Relax unique constructor
+Add new Rebindable test case