This repo was created to demonstrate a repro of a bug in chutzpah code coverage flows.