SlicingCriterion must select the correct initial node given the variable name and occurrence
Node selection should occur before movable actions are extracted to their own nodes. This breaks the separation between building the graph and slicing the graph (unless the information from the moved actions is stored somewhere).
An alternative would be to select all child nodes (connected via StructuralArc
) that match the given variable.