Function biodivine_sketchbook::algorithms::fo_logic::parser::parse_and_minimize_fol_formula

pub fn parse_and_minimize_fol_formula(
    formula: &str,
    base_var_name: &str,
) -> Result<FolTreeNode, String>

Parse an FOL formula string representation into an actual formula tree with renamed (minimized) set of variables.

Basically a wrapper for the whole preprocessing step (tokenize + parse + rename vars).

The format of variable names is given by how lib_param_bn::SymbolicContext::with_extra_state_variables creates new extra variables. Basically, we choose a name of one BN variable (var_core_name), and it is used as a base for extra variables {var_base_name}_extra_{index}.