code: def get_whitelisted_statements(self, addr):
          
          if addr in self._run_statement_whitelist:
              if self._run_statement_whitelist[addr] is True:
                  return None # This is the default value used to say
                              # we execute all statements in this basic block. A
                              # little weird...
  
              else:
                  return self._run_statement_whitelist[addr]
  
          else:
              return []
docs: :returns: True if all statements are whitelisted