let basename_of_var v = Fol.Var.basename v