Rename message ExpectsReservedMethodName to ReservedMethodName
Rename message ArgsCalledAfterReturnsOrThrows to ArgsUsedAfterReturnsOrThrows
Update TODO: review messages done.