let is_var (a, b) = is_var a && is_var b