Modified cover formals and rest parameter to use FormalParameter for FormalParameterList