pub fn execute_with_execution_state(
    init_state: ExecutionState,
    snippet: Box<dyn Snippet>,
    expected_stack_diff: isize
) -> Result<ExecutionResult>