Symbolic analysis bugfix.