Bugfix: unsafe variables with no positive goals.