Resolve "New data structure for storing stateblocks"

Closes #256 (closed)

test/gtest_frame_base.cpp

@@ -85,8 +85,10 @@ TEST(FrameBase, LinksToTree)
     // tree is inconsistent since we are missing the constrained_by link
     // ASSERT_FALSE(P->check(0));
 
+    P->print(4,1,1,1);
+
     // tree is now consistent
-    ASSERT_TRUE(P->check(0));
+    ASSERT_TRUE(P->check(1));
 
     // F1 has one capture and no factors-by
     ASSERT_FALSE(F1->getCaptureList().empty());