remove useless is_empty function
remove useless is_empty function

flurischt/jedi,dwillmer/jedi,mfussenegger/jedi,flurischt/jedi,jonashaag/jedi,tjwei/jedi,mfussenegger/jedi,tjwei/jedi,WoLpH/jedi,WoLpH/jedi,jonashaag/jedi,dwillmer/jedi