let get = function 
    | Uninterp(op), _ -> op
    | _ -> raise Not_found