--- source: tests/golden_tests.rs input_file: tests/golden_tests/scott_triggers_unused/test.bend --- @bool/f = ((@bool/f/tag a) a) @bool/f/tag = 1 @bool/t = ((@bool/t/tag a) a) @bool/t/tag = 0 @main = (((?((0 (* 1)) a) a) b) b)