Adding lots of utils from SMT