- * @param irg The irg to check
- * @return 1 if verify succeeded, 0 otherwise
+ * @param irg The graph to check
+ * @return true if verify succeeded, false otherwise
+ */
+bool be_verify_register_allocation(ir_graph *irg);
+
+/**
+ * Check the given liveness information against a freshly computed one.