Add support for more symbolic evaluation.