Make ScalarEvolution::isKnownPredicate a little smarter