Bart Louwers on Nostr: In the inner (true) condition X should extend Y. That is not satisfied when X = 'b' ...In the inner (true) condition X should extend Y.That is not satisfied when X = 'b' and Y = 'c' so it is never.