With Jedi:  With new analysis engine:  @MikhailArkhipov cc