Fix provisional applicability for method references

When a method reference is stuck, a speculative check should be executed in order to make sure that candidates accepting a SAM type with bad arity are discarded from the overload resolution process.