[CS] Fix an if statement
[CS] Fix an if statement

We should be printing retired constraints if we
have any.

apple/swift,airspeedswift/swift,jmgc/swift,CodaFi/swift,apple/swift,CodaFi/swift,xwu/swift,hooman/swift,JGiola/swift,airspeedswift/swift,jckarter/swift,glessard/swift,jmgc/swift,parkera/swift,glessard/swift,jckarter/swift,atrick/swift,roambotics/swift,ahoppen/swift,parkera/swift,airspeedswift/swift,stephentyrone/swift,parkera/swift,harlanhaskins/swift,ahoppen/swift,atrick/swift,nathawes/swift,jckarter/swift,apple/swift,atrick/swift,nathawes/swift,JGiola/swift,JGiola/swift,airspeedswift/swift,atrick/swift,rudkx/swift,nathawes/swift,jmgc/swift,hooman/swift,apple/swift,xwu/swift,gregomni/swift,parkera/swift,aschwaighofer/swift,nathawes/swift,gregomni/swift,airspeedswift/swift,jckarter/swift,nathawes/swift,CodaFi/swift,harlanhaskins/swift,tkremenek/swift,parkera/swift,hooman/swift,glessard/swift,jmgc/swift,stephentyrone/swift,gregomni/swift,aschwaighofer/swift,harlanhaskins/swift,stephentyrone/swift,jmgc/swift,benlangmuir/swift,allevato/swift,jmgc/swift,tkremenek/swift,aschwaighofer/swift,harlanhaskins/swift,ahoppen/swift,harlanhaskins/swift,allevato/swift,tkremenek/swift,roambotics/swift,stephentyrone/swift,allevato/swift,tkremenek/swift,xwu/swift,apple/swift,benlangmuir/swift,glessard/swift,stephentyrone/swift,roambotics/swift,CodaFi/swift,rudkx/swift,roambotics/swift,tkremenek/swift,parkera/swift,apple/swift,rudkx/swift,glessard/swift,harlanhaskins/swift,JGiola/swift,rudkx/swift,xwu/swift,atrick/swift,allevato/swift,aschwaighofer/swift,airspeedswift/swift,hooman/swift,benlangmuir/swift,aschwaighofer/swift,nathawes/swift,jmgc/swift,ahoppen/swift,JGiola/swift,aschwaighofer/swift,stephentyrone/swift,nathawes/swift,benlangmuir/swift,tkremenek/swift,xwu/swift,tkremenek/swift,rudkx/swift,xwu/swift,parkera/swift,allevato/swift,allevato/swift,CodaFi/swift,harlanhaskins/swift,JGiola/swift,parkera/swift,airspeedswift/swift,stephentyrone/swift,jckarter/swift,hooman/swift,jckarter/swift,atrick/swift,roambotics/swift,hooman/swift,hooman/swift,xwu/swift,glessard/swift,CodaFi/swift,rudkx/swift,gregomni/swift,gregomni/swift,benlangmuir/swift,jckarter/swift,benlangmuir/swift,gregomni/swift,CodaFi/swift,ahoppen/swift,aschwaighofer/swift,allevato/swift,roambotics/swift,ahoppen/swift