Restarted with a simplified implementation of the RecurrenceAnalysis.