Reworking parameter-argument test for method resolution (1)