Fixed a bug associated with the method dispatch. In an invokation, the declared class type of a calling object restricts the methods that we dispatch the calling method. The visitor problem can be detected now.