Added formal parameters to function symbol;
the formal parameters can be accessed using ((FunctionSymbol)fnct).formalParams.