- | M.Ex _ -> []
- | M.Dot rv _ -> [rv]
- | M.Let _ x y
- | M.Select _ x y
- | M.For _ _ x y -> iter an_set [x; y]
- | M.While _ x y -> iter an_set [x; y]
- | M.Fun _ _ l -> iter an_set l
- | M.Gen _ l -> iter an_set l
- | M.Add _ g x -> join (an_grp g) (an_set x)
- | M.Property _ _ _ _ c d _ _ x ->
+ | M.Ex _ -> []
+ | M.Dot (rv, _) -> [rv]
+ | M.Let (_, x, y)
+ | M.Select (_, x, y)
+ | M.For (_, _, x, y) -> iter an_set [x; y]
+ | M.While (_, x, y) -> iter an_set [x; y]
+ | M.Fun (_, _, l) -> iter an_set l
+ | M.Gen (_, l) -> iter an_set l
+ | M.Add (_, g, x) -> join (an_grp g) (an_set x)
+ | M.Property (_, _, _, _, c, d, _, _, x) ->