Improve ltlmop test client.