TODO: handling of grace notes is exquisite pain. This handling
should be formally specified and then the implementation verified.
TODO: handling of grace notes is exquisite pain. This handling
should be formally specified and then the implementation verified.