--- source: tests/golden_tests.rs input_file: examples/fusing_not.bend --- λa λb λc (a c b)