[Dart8] Algebraic analysis at DART