I think this change is probably correct. The use of `.atoms(Symbol)` has a mathematical meaning here, meaning it should really use `free_symbols`.