Investigate refactoring the inner node inclusion verification

[rach-id]

          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)