I don't just like this, I love this. For ages I've been trying to tell people. You're just replacing your interpreter by a non deterministic interpreter and using a less formal language to describe what you want, thus increasing the time and explanation efforts, and increasing the risk as well.