Function biodivine_sketchbook::algorithms::fo_logic::utils::get_var_base_and_offset

pub fn get_var_base_and_offset(
    var_name: &str,
) -> Result<(String, usize), String>

For a given FOL variable name, get a base variable of the BN and offset that was used to add it to the symbolic context.

This fn returns error if the var name format is wrong.