Asserts that in the given code, criterion a happens before criterion b according to the expected Ternary value.
a
b
The RShell instance to use for parsing and analysis.
The R code to analyze.
The first slicing criterion.
The second slicing criterion that is compared against the first.
The expected Ternary result indicating the happens-before relationship.
Asserts that in the given code, criterion
ahappens before criterionbaccording to the expected Ternary value.