Function expand_program_functions 

pub fn expand_program_functions(
    program: &Program,
    max_depth: u32,
) -> Result<Program, FunctionError>

Expand user-defined function calls in ordinary rules and constraints.

Scalar calls become arithmetic expressions. Predicate-bodied calls also contribute relational literals immediately before their source binding.