Function biodivine_sketchbook::algorithms::fo_logic::utils::get_implicit_function_name

pub fn get_implicit_function_name(variable_name: &str) -> String

Compute a valid name for an “anonymous update function” of the corresponding variable.

TODO: currently does not double check if there are collisions with existing params