Usual import of F always has no bounded variables into heurisch.py and both ```atoms(Symbol)``` and ```free_symbols``` should give the same answer.