PredicateExpression exists(r.likeness) is wrongly rewritten to exists((teammate.likeness OR serve.likeness OR like.likeness))

[jievince]

Please check the FAQ documentation before raising an issue

Describe the bug (required)

PredicateExpression exists(r.likeness) is first embedded into Traverse by the rule PushFilterDownTraverse, and then it's wrongly rewritten to exists((teammate.likeness OR serve.likeness OR like.likeness))
by the optimizer rule PushEFilterDown

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:

match (:player{name:"Tony Parker"})-[r]->() where exists(r.likeness) return r, exists({a:12}.a)

plan:

| name | operator info  |
| Traverse | filter: exists((teammate.likeness OR serve.likeness OR like.likeness)) |

Expected behavior

Additional context