Function biodivine_sketchbook::algorithms::fo_logic::utils::collect_unique_fol_vars

pub fn collect_unique_fol_vars(formula_tree: &FolTreeNode) -> HashSet<String>

Compute the set of all uniquely named FOL variables in the formula tree.

Variable names are collected from the quantifiers exists and forall (which is sufficient, as the formula must not contain free variables).