let is_a_refresh_var (var : string) : bool = (is_a_var var) && (String.length var)>4 && ((String.sub var ((String.length var)-4) 4)="_new")