/**
* Check, if the SSA dominance property is fulfilled.
* @param irg The graph.
+ * @return 1 if dominance property is fulfilled, 0 otherwise
*/
-void be_check_dominance(ir_graph *irg);
+int be_check_dominance(ir_graph *irg);
/**
* The liveness transfer function.