Ah yes, seems like the same issues as this: Window Switcher doesn't detect multiple maximized windows of the same application - Bug Reports - BetterTouchTool Community (folivora.ai)
I think I might have resolved it with 4.002, which I'm currently uploading.