Branch-Well-Structured Transition Systems and Extensions (Logical Methods in Computer Science, 2024)