val transform :
string (* rule name *) -> string list (* dropped isos *) ->
Lib_engine.metavars_binding -> (* inherited bindings *)
- Lib_engine.transformation_info ->
+ Lib_engine.numbered_transformation_info ->
Control_flow_c.cflow -> Control_flow_c.cflow (* could be unit *)