Fixing bug in TermCons.hashCode().