Thanks for the help, Mircea!
I have updated WPCode to 2.0.1 and that’s made no difference.
I imported the snippet from Code Snippets with the import tool – but while it reported success, the snippet didn’t appear in WPCode. Importing it as a JSON file worked, but trying to activate the snippet got the error above. The same with copy/pasting the code.