Hi, 
I often cross this kind of code transformation (or even mathematical transformation)
(python example, but applies to any language)
I've go a function
  def f(x):
  return x
I use it into another one.
  def g(x):
  return f(x)*f(x)
  
  print g(2)
  leads to 4
But I want to remove the functional dependency, and I change the function g into
  def g(f):
  return f*f
  print g( f(2) )
  leads to 4 too
How do you call this kind of transformation, locally turning a function into a scalar ?