Generics do not support method calls with implicit this. prefix

[bobismijnnaam]

As present in the test examples/concepts/generics/genericChannel.pvl. If the this. in this.readValue() is omitted, the return type can't be computed. This is because to compute the type of a.b() in general, the generic type arguments in the type of a might be relevant. As the resolution stage currently does not compute this information for PVLInvocation, the type of just readValue() (i.e. without the this. prefix) cannot be computed. This can be hotfixed by adding some extra resolution logic to the PVLInvocation node that is filled it when the applicable being invoked is an instance function/method/predicate.