findoNonStaticMethod_precise_onTypes - better method resolution