write_instance(F) write an instance of a schema in file F.