When did it absorb Agda?
test_graph.cpp:40:61: error: no match for 'operator<=' (operand types are 'Catch::STATIC_ASSERT_Expression_Too_Complex_Please_Rewrite_As_Binary_Comparison' and 'int')