Bugfix: topological sort on the constraint sub dag only (was the whole
graph previously); started pretty printing constraints