crucible-debug-0.1.0: test-data/prove.txt

> prove

No obligations to prove

> quit

Ok