Make symbolic evaluator handle errors better.