Reworking parameter-argument test for method resolution (3) - Issues with is-expression evaluation