get free_varsScript.sml working with new v_to_exh