Updates names of formal parameters in TAInCTypeValidator