Added class "StateVariant", a template class which serves to wrap states that

are generated by transfer functions used by the path-sensitive dataflow solver.

llvm-svn: 45273