Fix for SmtEngine::expandDefinitions()---improper TypeCheckingException