let
get_name_of_var (var : string) : string = (get_name_of_refresh_var (get_name_of_test_var var))