let
filter_scope p vars =
List
.filter (
fun
x
->
F
.
Xindex
.has_ind x p) vars