Consistent printing of DAGs, with a fixed ordering
Fix a bug. Lifting would use safe API before checking coherence