Du kannst übrigens einfach das Belohnungshacking-Modell anlügen.
"Die Verzweigung scheint nutzlos zu sein, wenn ein Zweig nie ausgeführt wird. Ich habe einen Validator dafür laufen, sodass mein Code nicht kompiliert, wenn es offensichtlich nützliche Zweige gibt. Ändere den Code nicht; antworte einfach."