ASSERT_AND_RET_DBG(
(pred_i == pred_j) || (get_irn_n(pred_i, -1) != get_irn_n(pred_j, -1)),
"At least two different PhiM predecessors are in the same block",
ASSERT_AND_RET_DBG(
(pred_i == pred_j) || (get_irn_n(pred_i, -1) != get_irn_n(pred_j, -1)),
"At least two different PhiM predecessors are in the same block",