a whole new way to translate a method invocation, taking into account…

…s *dynamic dispatching*