pprCtO NegateOrigin          = ptext (sLit "a use of syntactic negation")
pprCtO NegateOrigin          = ptext (sLit "a use of syntactic negation")
pprCtO NegateOrigin          = ptext (sLit "a use of syntactic negation")