Execute a particular method, assuming that the stack frame has already been set up as necessary. If the method body is null, we check to see if there is a corresponding primitive function and execute that instead. For the time being, the only primitive is System.out.
(State st)
source not stored for this graph (policy: none)