Added some skeleton code for performing "assume" on symbols: e.g. assume($0 != 0).

This action will add constraints to the possible values of a symbol.
Still needs to be debugged.

llvm-svn: 46789