Computation Improves Interactive Symbolic Execution