* src/ltlvisit/randomltl.cc: Make sure generation of binary operator is done in a deterministic order.