Allow "exhaustive" trip count evaluation on phi nodes with all