Procedure from library deform.lib (see deform_lib).
deform.lib
kill_rings([string]);
nothing, but kills exported rings generated by procedures ’versal’ and ’mod_versal’ with optional prefix ’string’