code: def save_function_effect(module):
      
      for intr in module.values():
          if isinstance(intr, dict):  # Submodule case
              save_function_effect(intr)
          else:
              fe = FunctionEffects(intr)
              IntrinsicArgumentEffects[intr] = fe
              if isinstance(intr, intrinsic.Class):
                  save_function_effect(intr.fields)
docs: Recursively save function effect for pythonic functions.