Pprinting ranked constraints