Adds Dump() function, which outputs some information about
a given formula to the specified io.Writer. This is mostly
here for debugging purposes.