ID assignments are inconsistent between different analyses of the same file. It makes it difficult to output the IDs of some predicates/atoms inside a csv and then use it as an input elsewhere that combines another analysis results.
Using source locations rather than ids is a work around, but it would be nice if ID assignment was deterministic.
ID assignments are inconsistent between different analyses of the same file. It makes it difficult to output the IDs of some predicates/atoms inside a csv and then use it as an input elsewhere that combines another analysis results.
Using source locations rather than ids is a work around, but it would be nice if ID assignment was deterministic.