Enters and creates a new
SymbolicStackFrame , which is pushed on
the top of the stack.
Parameters: caller - the invocation that starts this new frame Parameters: target - the target of the invocation (to be this, seeSymbolicEvaluationStack.getThis()) Parameters: executable - the entered executable Parameters: variables - the variables accessible from the frame (invocation'sparameters)