github.com/smasher164/tapl@v0.0.0-20230202055446-fd56bc413abd/tests/arith/11.in.txt (about) 1 if false then succ 0 else 0