Reduce testcases for known bugs and document the root causes.