started pretty printing constraints