refactor(linear-constraints): avoid hashing std::pair
refactor(linear-constraints): avoid hashing std::pair

This somehow fixes a compilation errors that complains that
boost::hash_value on variable type is ambiguous. I do not understand
why but in any case the fix is also a bit more efficient because it
avoids to create an instance of std::pair.

seahorn/crab,seahorn/crab