Class NativizeSetFunDef.AddFormulasVisitor