REAL_Music is satisfying_octave_descendent_constructible