Remove the Backwards operation. Resolving now works at the time when a

property is added by running through the list of uses of the value and
adding resolved properties to the property set.

llvm-svn: 31126