//преобразование параметров функции

function(first-function, vars-list(var(x, i32), var(y, i32)), i32,
  div(add(x, 5), y))

--------------------------------------------------------------------------------------------------

type(name(ListNode), struct(
  field(name(caption), type(String)),
  field(name(args), type(collection(ListNode)))
))



transform(
   name(f-transform), guard(var(name(X), constraints(caption(simple-function)))),
   body(
     set (args, field(X, args),
	  
	  
	  wrap(extract(args, 0), caption(name)), 
	  
	   wrap
     name(field())
  )
)