Update ter_schemas_dot.ml