let is_a_test_var (var : string) : bool = (is_a_var var) && ((String.length var)>5) && (String.sub var 0 5)="Test_"