private void assertSize(int expected) {
   assertEquals(resolver.toString(), expected, resolver.size());
 }
 private void assertContains(Value src, AllocatableValue dst) {
   assertTrue(
       String.format("Expected move from %s to %s. %s", src, dst, resolver),
       resolver.contains(src, dst));
 }