Change pragbot_client to have ltlmop_client and connect to ltlmop's
execute function.