@@ -815,6 +815,7 @@ private predicate isRelatableMemoryLocation(VariableMemoryLocation vml) {
   vml.getStartBitOffset() != Ints::unknown()
 }
 
+pragma[no_dynamic_join_order]
 private predicate isCoveredOffset(Allocation var, int offsetRank, VariableMemoryLocation vml) {
   exists(int startRank, int endRank, VirtualVariable vvar |
     vml.getStartBitOffset() = rank[startRank](IntValue offset_ | isRelevantOffset(vvar, offset_)) and
Original file line number	Diff line number	Diff line change
`@@ -815,6 +815,7 @@ private predicate isRelatableMemoryLocation(VariableMemoryLocation vml) {`
`815`	`815`	`vml.getStartBitOffset() != Ints::unknown()`
`816`	`816`	`}`
`817`	`817`
	`818`	`+pragma[no_dynamic_join_order]`
`818`	`819`	`private predicate isCoveredOffset(Allocation var, int offsetRank, VariableMemoryLocation vml) {`
`819`	`820`	`exists(int startRank, int endRank, VirtualVariable vvar \|`
`820`	`821`	`vml.getStartBitOffset() = rank[startRank](IntValue offset_ \| isRelevantOffset(vvar, offset_)) and`