Add option for number of rests minimization
Switch off notation simplification for tests