return new Pop(new ProgramState(this, newStack), result);
}
@CheckForNull
public SymbolicValue peekValue() {
return stack.isEmpty() ? null : stack.peek();
<BUG>}
public List<SymbolicValue> peekValues(int n) {</BUG>
ImmutableList.Builder<SymbolicValue> result = ImmutableList.builder();
PStack<SymbolicValue> tmpStack = this.stack;
for (int i = 0; i < n; i++) {

return new Pop(new ProgramState(this, newStack), result);
}
@CheckForNull
public SymbolicValue peekValue() {
return stack.isEmpty() ? null : stack.peek();
}
public SymbolicValue peekValue(int i) {
return stack.peek(i);
}
public List<SymbolicValue> peekValues(int n) {
ImmutableList.Builder<SymbolicValue> result = ImmutableList.builder();
PStack<SymbolicValue> tmpStack = this.stack;
for (int i = 0; i < n; i++) {
