let sub y xs = List.filter (fun x -> not (F.eq_var x y)) xs