--- src/analyze.cpp.orig	2019-07-01 10:53:57.000000000 -0600
+++ src/analyze.cpp	2019-07-12 14:07:27.864093352 -0600
@@ -294,9 +294,9 @@ void Internal::clear_analyzed_levels ()
 struct analyze_trail_negative_rank {
   Internal * internal;
   analyze_trail_negative_rank (Internal * s) : internal (s) { }
-  size_t operator () (int a) {
+  uint64_t operator () (int a) {
     Var & v = internal->var (a);
-    size_t res = v.level;
+    uint64_t res = v.level;
     res <<= 32;
     res |= v.trail;
     return ~res;