add missing import

Pystan/config/sign_analysis.py

@@ -2,7 +2,7 @@
 """
 implements a sign analysis
 """
-from enum import Enum
+from enum import Enum, auto
 from dataclasses import dataclass
 from cfg import Cfg
 from iteration import Transfer, fixpoint_iteration