Lithium, a testcase reduction tool.