Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical) order.