write_functional_smt2 - Generate SMT-LIB from Functional IR

yosys> help write_functional_smt2
Functional SMT Backend.