check instance variable initializers at forward analyzer
add function to resolve ctor and add default ctor