Fix property update testcase to reflect correct result
Fix update redefinition

1. Fix for SSA + update redefinition behavior
2. Fix redefinition testcases to reflect correct behavior