-DISJOINTDEBUG= -justanalyze -disjoint -disjoint-k 1 -enable-assertions
-# -disjoint-write-dots final \
-# -disjoint-debug-callsite Demand.add Lateral.compute 1 1000 true
+DISJOINTDEBUG= -disjoint -disjoint-k 1 -enable-assertions \
+ -disjoint-write-dots final \
+ -flatirusermethods
+# -disjoint-debug-callsite String.valueOf Power.main 1 1000 true \
+# -justanalyze