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