> This is to test whether free_symbols gets what is required and exclude bounded variables from being considered as isyms.

Are you sure we haven't such tests before?