Compile this code with frog: main() { if (true) print('ok'); else assert('unreachable'); } And it generates: function main() { if (true) print$("ok"); else // :( }