Add formal parameters to the Cmm parser