Fixed small bug in Mona_syntax.string_of_formula; Trying to measure time.