I am using ESP32 C3. When I place 'noTone' in position 1 and execute playMusicPro1() for the second time, there is no signal generated for BUZZER-PIN. When I place 'noTone' in position 2 and execute playMusicPro1() for the seventh time, there is no signal generated for BUZZER-PIN. Changing to a different BUZZER-PIN is also not possible.
ESP32 library version: 3.03
ESP32 C3 SuperMini
Are you using Arduino IDE? This usually requires setup() and loop() functions as a minimum... and putting your code inside those functions... and it looks like you need "pitches.h" or an equivalent.
This seems to work for me... (on a Nano)... with the sixth note a "rest"