Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager).

llvm-svn: 46758