Example 10. Software analysis of Example 9, with rests marking potential contrapuntal anomalies