[BUG] Complex x..y..z xpath triggers assertion error

[andreas-zeller]

Describe the bug When solving a complex XPath expression of the form x..y..z, ISLa raises an AssertionError.

To Reproduce Use str.len(<FunctionDef>..<Name>..<id>) = 10 or similar as constraint. The result is

AssertionError: If this fails, uncomment the else branch in the source code.

Expected behavior No assertion error.

System/Installation Specs:

• ISLa Version: 1.11.1
• Python Version: 3.10
• OS: macOS 13.4