Error Analysis Is Like a SMT Solver

error analysis is similar to what you would have in Intellia idea for the data flow analysis where you can track certain variable types I feel them and then tell you when you have enriched local or things like that. It takes all that information all that that have flow and uses an SMT solver on behind to actually get back an answer as to which constraints are violated in certain parts of your code. The goal at some point is to be able to reflect this back to the user and say look actually it turns out that if your function is taking a list of five elements which are all zero this is breaking so there you are please debug your code with this thing.