А каким образом из этого НЕ следует, что оные формулы а) уникальны и б) что их придумал именно Снейп?
Снейп делал контрзаклятие к своему уникальному заклинанию. Ему не хватило знаний по созданию заклинаний, поэтому вместо короткой вербальной формулы он был вынужден выдумывать какие-то песни. Таков мой хедканон.
Впрочем, Снейп мог раздобыть в Запретном лесу псилоцибиновых грибков, и тогда контрзаклятие ему принес и спел хор цветных летающих поняш.