code: def update_effects(self, node):
      
      return [self.combine(node.args[0], node_args_k, register=True,
                           aliasing_type=True)
              for node_args_k in node.args[1:]]
docs: Combiner when we update the first argument of a function.
  
      It turn type of first parameter in combination of all others
      parameters types.