tweaked conditions for what it means for a definition module to be empty