test(tests/lean/run): add test for well_founded relation for mutually recursive datatypes