let
freevars p =
Vset
.elements (free_pred
Vset
.empty p)