AbstractInvoke
The shared implementation of invoke_$suffix/3 (first arg: a Ref or $Alias expression; second: the Method(Arg1, ..., ArgN) Struct to invoke; third: unified with whatever getInvocationResult extracts from the invocation's Result), backing both invoke_method/3 (InvokeMethod) and invoke_strict/3 (InvokeStrict) -- the two only differ in whether the returned value is converted to a plain Term or kept as an it.unibo.tuprolog.solve.libs.oop.ObjectRef.