(* CSC: NCicPp.status is the best I can put here *)
(* WR: and I can't guess a user id, so I must put None *)
if NCicReduction.alpha_eq (new NCicPp.status None) [] [] [] x y then 0
(* if x = y then 0 *)
else compare x y
(* CSC: NCicPp.status is the best I can put here *)
(* WR: and I can't guess a user id, so I must put None *)
if NCicReduction.alpha_eq (new NCicPp.status None) [] [] [] x y then 0
(* if x = y then 0 *)
else compare x y