Test formal parameter redeclared