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

llvm-svn: 46789