Invoke source type method corresponding to the given MethodCall node.
Invoke source type method corresponding to the given MethodCall node.
The instance of receiver is obtained from dataEnv
using mc.receiver symbol.
The Method descriptor of the source class is taken from this.methods
mapping.
IR node representing method invocation
environment where each symbol of 'mc' has associated data value
data value returned from invoked method