calling consistency for output functions
For formulas, the
to_XXX_string family of functions have the form
stream to_spin_string(formula, stream).
For automata, we have for instance
stream hoa_reachable(stream, aut, opts).
I think it makes sense that stream is always the first argument in function that return a stream, so let's fix the formula output functions.