* Breaks operation cycles using {@link AssertionCycleApproximation} and then
* approximates the remaining operation cycles with {@link OperationCycleApproximation}.
*/
public void approximateOperationCycles() {
new AssertionCycleApproximation(this).approximate();
new OperationCycleApproximation(this).approximate();
}