add tests for forward analyzer for class
fix instance var initializer on parameter
check class duplication and handle it properly