Fix check tests w/ symbolic disabled.