let sym_eq = Sym.eq