Investigate refactoring the inner node inclusion verification #263
Description
Looks correct to me, too. Would still be good to closely look into the case `if end-start == 1` and why both related code blocks are equivalent in all (edge) cases.
Originally posted by @liamsi in #260 (comment)