pub fn normalize_program_for_execution(program: Program) -> Result<Program>Expand description
Normalize a parsed program through the pre-compilation passes used by execution.
This helper does not resolve imports; import-aware callers merge them first. It expands user-defined functions with the entry program’s recursion limit, normalizes meta and list builtins, and desugars shared-variable epistemic constraints.