SMT2 Client (remove only)