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