ScalarEvolution: Fix handling of AddRecs in isKnownPredicate