I have observed that Lithium can reduce test cases that exhibit different behaviors across versions of executable binary files. For instance:

"The testcase is displayed differently by version X and version Y of Firefox." This could be an easy way to make reduced testcases for regressions that affect how web pages are displayed.

However, I could not find any usage examples or documentation illustrating how to achieve this with Lithium. Could you provide guidance or examples on how to use Lithium for such version-specific reductions?