Fix incorrect invariant check in DAG Combine