Function biodivine_sketchbook::algorithms::fo_logic::utils::get_var_from_implicit

pub fn get_var_from_implicit(fn_symbol: &str) -> Result<String, String>

If the provided function symbol corresponds to (implicit) update function for some variable, get the variable’s name. Return Err if the symbol is not in format “f_VAR”.

Note that function symbols can be either for (explicit) uninterpreted functions or for (implicit) update functions. The update function symbol for variable A must be in a form of “f_A”.

Always expects valid fn_symbol name on input.