SMT and concrete refinements.