| NCut (_,t) -> "ncut " ^ CicNotationPp.pp_term t
(*| NDiscriminate (_,t) -> "ndiscriminate " ^ CicNotationPp.pp_term t
| NSubst (_,t) -> "nsubst " ^ CicNotationPp.pp_term t *)
| NCut (_,t) -> "ncut " ^ CicNotationPp.pp_term t
(*| NDiscriminate (_,t) -> "ndiscriminate " ^ CicNotationPp.pp_term t
| NSubst (_,t) -> "nsubst " ^ CicNotationPp.pp_term t *)