Tests for #12690 proving the problem with bender.tools.