Fixes #7 Include a better .bc3 test case file