Remove usedTypes field from SMTState
Remove unnecessary imports