pub fn to_aiger(f: impl Write, output: &Node) -> Result<(), String>
Translates the output node (and the circuit it references) to (text) AIGER format and writes it to the given writer.