(* Generate a fresh variable from a given prefix, e.g. "counter" -> "counter$1"  *)
val fresh_var : string -> string

(* Default transformation traversal for AST nodes *)
val transform : (Ast.node -> Ast.node) -> Ast.node -> Ast.node

(* Extract location from node *)
val locof : Ast.node -> Ast.loc