Assertion failure--evaluation related?

[yanniss]

I'm getting an assertion failure in the latest version:

souffle: RamTranslator.cpp:146: void souffle::{anonymous}::ValueIndex::addVarReference(const souffle::AstVariable&, const souffle::{anonymous}::Location&): Assertion `(locs.empty() || locs.back() < l) && "Unordered location insertion!"' failed.
Aborted (core dumped)

I have no clue what may be the cause and it will take me hours to construct a redacted example of the code that does the same computation. But here is the single-rule addition that precipitates the failure:

// If some access path is to be rebased, its prefixes are as well.
AccessPathShouldBeRebased( [ ?from, ?rest ], ?from, ?to) :-
AccessPathShouldBeRebased(?ap, ?from, ?to),
?ap = [ ?from, ?suffix ],
?suffix = [ ?rest, ?lastFld ].

Without this, the program performs meaningful computations so I have high confidence. The relation AccessPathShouldBeRebased is not populated anywhere else (though I tried that as well, and the failure persists) nor is it consumed anywhere at this point.

[yanniss]

Here's a minimal example for the above. Just souffle this and it fails with the assertion, in either compiler or interpret mode. (I renamed the .dl file to .txt so github accepts it inline in the issue.) I've found no way to get around this problem, so it's currently stopping me from writing the analysis I intended. But perhaps there is a syntactic workaround I missed.
temp2.txt

[HerbertJordan]

Should be fixed by #106

[yanniss]

Thanks! I think it's indeed fixed. Will reopen if more complex tests reveal issues.