Cover formals already wrap parameters as FormalParameter when needed