code: def all_functions_called(self):
          '''
              list(Function): List of functions reachable from the contract (include super)
          '''
          all_calls = [f.all_internal_calls() for f in self.functions + self.modifiers] + [self.functions + self.modifiers]
          all_calls = [item for sublist in all_calls for item in sublist] + self.functions
          all_calls = list(set(all_calls))
  
          all_constructors = [c.constructor for c in self.inheritance]
          all_constructors = list(set([c for c in all_constructors if c]))
  
          all_calls = set(all_calls+all_constructors)
  
          return [c for c in all_calls if isinstance(c, Function)f all_functions_called(self):
          '''
              list(Function): List of functions reachable from the contract (include super)
          '''
          all_calls = [f.all_internal_calls() for f in self.functions + self.modifiers] + [self.functions + self.modifiers]
          all_calls = [item for sublist in all_calls for item in sublist] + self.functions
          all_calls = list(set(all_calls))
  
          all_constructors = [c.constructor for c in self.inheritance]
          all_constructors = list(set([c for c in all_constructors if c]))
  
          all_calls = set(all_calls+all_constructors)
  
          return [c for c in all_calls if isinstance(c, Function)]
docs: list(Function): List of functions reachable from the contract (include super)