pub fn normalize_meta_builtins(program: &Program) -> Result<Program>Expand description
Normalize safe meta-predicates into finite helper relations.
Accepted forms are static and finite. Runtime-variable predicate names, dynamic database mutation, unrestricted calls, and non-finite collection are rejected before lowering.