Add Relation Computation CE
reflexivity proved by ce_refl
symmetry proved by ce_symm
transitivity proved by ce_trans
as CE_rel.
Add Relation Computation CE
reflexivity proved by ce_refl
symmetry proved by ce_symm
transitivity proved by ce_trans
as CE_rel.