Optimization: first trying to follow Faba 1.1.0 behavior for resolve virtual calls

If a method is effectively final, it is resolved to itself - no need to explore hierarchy