Added support for #-comments in same line as command
Added expose -dff
Added opt_const -undriven
Added sat -set-init-def and sat -tempinduct-def