Predicate matchStarReadStep

star pattern: subject flows to the variable, possibly via a conversion syntax (toplevel): case *var:

We decompose this flow into a read step and a store step. The read step reads both tuple and list content, the store step only stores list content. This way, we convert all content to list content.

This is the read step.