Protocol args

Correctly handle protocol args so that their names in the arguments list and in the method body match.