code: def aggressive_spanning_type(types, might_overflow, pos, scope):
      return simply_type(reduce(find_spanning_type, types), pos)
  
imports: from __future__ import absolute_import
  from .Errors import error, message
  from .None import ExprNodes
  from .None import Nodes
  from .None import Builtin
  from .None import PyrexTypes
  from ..None import Utils
  from .PyrexTypes import py_object_type, unspecified_type
  from .Visitor import CythonTransform, EnvTransform
label_desc: Use image node_id 3 for calling a global function with example usage: aggressive_spanning_type(types, might_overflow, pos, scope) and returns: simply_type