more changes to SymbolicExecutor/Result object