let basename_of_var = Fol.Var.basename