What AI Says About SMT Concrete | Parse