Add support for the double-check test framework