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