BUGFIX: fix checking of symbolic results.