let fresh_flexible_vars = 
  fresh_vars Flexible