pub fn gen_single_lit_circuit(var: u32) -> TinyXgcfSpec
Generate a single-literal circuit: root = Lit(+var)