Tests for RecurrencePredicateRewriter, and got rid of MockIdGenerator.