The SMT_discriminant variable shouldn't be used anywhere any more. It was causing some warnings, though, because some algorithms were still expecting to find it.
SMT_discriminant
