Check SMT sorts at runtime