startVid info lost in certain multiple match/WITH case

[wey-gu]

Describe the bug (required)

# OK, passthrough
match (m:`player`) where id(m) in ["player100", "player101", "player102"]
with m
MATCH (x)-[r1:follow]-(n:`player`)
WHERE id(x) == "player100" AND r1.degree>10 AND NOT (m==n)
RETURN n


# NOK, but still goes to indexscan

match (m:`player`) where id(m) in ["player100", "player101", "player102"]
WITH collect(distinct m)[0..10] as col_appl_1st_v4,m
UNWIND col_appl_1st_v4 as x
OPTIONAL MATCH (x)-[r1:follow]-(n:`player`)
RETURN n

# same as above
match (m:`player`) where id(m) in ["player100", "player101", "player102"]
WITH collect(distinct m)[0..10] as col_appl_1st_v4,m
UNWIND col_appl_1st_v4 as x_node
OPTIONAL MATCH (x)-[r1:follow]-(n:`player`)
WHERE id(x) == id(x_node)
RETURN n

# NOK, ask for indexscan

match (m:`player`) where id(m) in ["player100", "player101", "player102"]
WITH collect(distinct m)[0..10] as col_appl_1st_v4,m
UNWIND col_appl_1st_v4 as x
OPTIONAL MATCH (x)-[r1:follow]-(n:`player`)
WHERE r1.degree>10
RETURN n

Your Environments (required)

• OS: uname -a
• Compiler: g++ --version or clang++ --version
• CPU: lscpu
• Commit id (e.g. a3ffc7d8)

How To Reproduce(required)

Steps to reproduce the behavior:

as above

Expected behavior

This should be passthrough:

OPTIONAL MATCH (x)-[r1:follow]-(n:`player`)

Additional context

[xtcyclist]

There are multiple issues related to optional match. Maybe we shall try considering them altogether. For example, #4745.

[xtcyclist]

Close optional match realted issues.