Infinite loop when executing DataFlow queries

I have built a CodeQL database for my Java project. I am able to execute simple queries on it, but when I attempt to execute a DataFlow query, The execution gets stuck in an infinite loop (probably in the `ModulusAnalysis::phiModulusRankStep` method) and never finishes. The log for such a query looks like this:

```
[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::phiModulusRankStep#bffff#reorder_0_4_1_2_3/5@i315#46ab60 (iteration 315)
[2021-12-26 17:14:19] (114s) - ModulusAnalysis::phiModulusRankStep#bffff#reorder_0_4_1_2_3_delta has 6 rows (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::ssaModulus#fffff/5@i315#46ab61 (iteration 315)
[2021-12-26 17:14:19] (114s) - ModulusAnalysis::ssaModulus#fffff_delta has 2022 rows (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::condExprBranchModulus#fbfff#reorder_1_0_2_3_4/5@i315#46ab62 (iteration 315)
[2021-12-26 17:14:19] (114s) Empty delta for ModulusAnalysis::condExprBranchModulus#fbfff#reorder_1_0_2_3_4_delta (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::addModulus#fffff#reorder_1_0_2_3_4/5@i315#46ab63 (iteration 315)
[2021-12-26 17:14:19] (114s) Empty delta for ModulusAnalysis::addModulus#fffff#reorder_1_0_2_3_4_delta (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::exprModulus#ffff/4@i316#46ab6w (iteration 316)
[2021-12-26 17:14:19] (114s) - ModulusAnalysis::exprModulus#ffff_delta has 1394 rows (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::phiSelfModulus#bfff/4@i316#46ab6x (iteration 316)
[2021-12-26 17:14:19] (114s) - ModulusAnalysis::phiSelfModulus#bfff_delta has 6 rows (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::subModulus#fffff/5@i316#46ab6z (iteration 316)
[2021-12-26 17:14:19] (114s) Empty delta for ModulusAnalysis::subModulus#fffff_delta (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Empty delta for ModulusAnalysis::subModulus#fffff#reorder_1_2_0_3_4_delta (order for disjuncts: delta=).

[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::phiModulusRankStep#bffff#reorder_0_4_1_2_3/5@i316#46ab60 (iteration 316)
[2021-12-26 17:14:19] (114s) - ModulusAnalysis::phiModulusRankStep#bffff#reorder_0_4_1_2_3_delta has 630 rows (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::ssaModulus#fffff/5@i316#46ab61 (iteration 316)
[2021-12-26 17:14:19] (114s) - ModulusAnalysis::ssaModulus#fffff_delta has 8 rows (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::condExprBranchModulus#fbfff#reorder_1_0_2_3_4/5@i316#46ab62 (iteration 316)
[2021-12-26 17:14:19] (114s) Empty delta for ModulusAnalysis::condExprBranchModulus#fbfff#reorder_1_0_2_3_4_delta (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::addModulus#fffff#reorder_1_0_2_3_4/5@i316#46ab63 (iteration 316)
[2021-12-26 17:14:19] (114s) Empty delta for ModulusAnalysis::addModulus#fffff#reorder_1_0_2_3_4_delta (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::exprModulus#ffff/4@i317#46ab6w (iteration 317)
[2021-12-26 17:14:19] (114s) - ModulusAnalysis::exprModulus#ffff_delta has 890 rows (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::phiSelfModulus#bfff/4@i317#46ab6x (iteration 317)
[2021-12-26 17:14:19] (114s) Empty delta for ModulusAnalysis::phiSelfModulus#bfff_delta (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::subModulus#fffff/5@i317#46ab6z (iteration 317)
[2021-12-26 17:14:19] (114s) Empty delta for ModulusAnalysis::subModulus#fffff_delta (order for disjuncts: delta=500000).
[2021-12-26 17:14:19] (114s) Empty delta for ModulusAnalysis::subModulus#fffff#reorder_1_2_0_3_4_delta (order for disjuncts: delta=).

[2021-12-26 17:14:19] (114s) Starting to evaluate predicate ModulusAnalysis::phiModulusRankStep#bffff#reorder_0_4_1_2_3/5@i317#46ab60 (iteration 317)
[2021-12-26 17:14:20] (115s) - ModulusAnalysis::phiModulusRankStep#bffff#reorder_0_4_1_2_3_delta has 644 rows (order for disjuncts: delta=500000).
[2021-12-26 17:14:20] (115s) Starting to evaluate predicate ModulusAnalysis::ssaModulus#fffff/5@i317#46ab61 (iteration 317)
[2021-12-26 17:14:20] (115s) - ModulusAnalysis::ssaModulus#fffff_delta has 254 rows (order for disjuncts: delta=500000).
[2021-12-26 17:14:20] (115s) Starting to evaluate predicate ModulusAnalysis::condExprBranchModulus#fbfff#reorder_1_0_2_3_4/5@i317#46ab62 (iteration 317)
[2021-12-26 17:14:20] (115s) Empty delta for ModulusAnalysis::condExprBranchModulus#fbfff#reorder_1_0_2_3_4_delta (order for disjuncts: delta=500000).
[2021-12-26 17:14:20] (115s) Starting to evaluate predicate ModulusAnalysis::addModulus#fffff#reorder_1_0_2_3_4/5@i317#46ab63 (iteration 317)
[2021-12-26 17:14:20] (115s) Empty delta for ModulusAnalysis::addModulus#fffff#reorder_1_0_2_3_4_delta (order for disjuncts: delta=500000).
[2021-12-26 17:14:20] (115s) Starting to evaluate predicate ModulusAnalysis::exprModulus#ffff/4@i318#46ab6w (iteration 318)
[2021-12-26 17:14:20] (115s) - ModulusAnalysis::exprModulus#ffff_delta has 6 rows (order for disjuncts: delta=500000).
[2021-12-26 17:14:20] (115s) Starting to evaluate predicate ModulusAnalysis::phiSelfModulus#bfff/4@i318#46ab6x (iteration 318)
[2021-12-26 17:14:20] (115s) - ModulusAnalysis::phiSelfModulus#bfff_delta has 2 rows (order for disjuncts: delta=500000).
[2021-12-26 17:14:20] (115s) Starting to evaluate predicate ModulusAnalysis::subModulus#fffff/5@i318#46ab6z (iteration 318)
[2021-12-26 17:14:20] (115s) Empty delta for ModulusAnalysis::subModulus#fffff_delta (order for disjuncts: delta=500000).
[2021-12-26 17:14:20] (115s) Empty delta for ModulusAnalysis::subModulus#fffff#reorder_1_2_0_3_4_delta (order for disjuncts: delta=).
.............
```
It continues like this forever.