Fixing test failures due to structural changes of the result of properties