desugar remove redundant ctop body
Merge branch 'prover' into negation
derive and neg_derive
Infer.hs: neg_derive