--- source: tests/golden_tests.rs input_file: tests/golden_tests/run_file/nat_add.bend --- Errors: In tests/golden_tests/run_file/nat_add.bend : - expected: term - detected: end of input  5 |