Galateas SMT Server new features