Debug info in invert_test.cpp