There actually was one with subleq: https://www.google.com/amp/s/blog.attify.com/flare-4-ctf-wri...
I would also be very curious to see if it's possible to make a decompiler for this type of obfuscated program.
Typically these obfuscators are applied in an automated fashion so yes.