||This is a normal Java invoke instruction as generated by the
CAst source language front end; its only difference from the normal
SSAInvokeInstruction is that it is subclassed from invoke
instructions that support explicit handling of lexical scoping.
||The CAst source language front end for Java has explicit support
for lexicallly-enclosing objects, rather than compiling them away
into extra fields and access-control thwarting accessor methods as
is done in bytecode.