pub fn normalize_list_builtins_owned(program: Program) -> Result<Program>Expand description
normalize_list_builtins taking the program by value.
Avoids cloning the whole AST: facts without list literals are moved through
untouched (the pass is the identity on them, see
ListNormalizer::fact_is_identity), everything else is rebuilt as before.