let sym_is_uninterp = function Uninterp _ -> true | _ -> false