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.
Whether to check the reversed relationship as well, which fails where the end of a function is unreachable.
Asserts that in the given code, criterion
ahappens before criterionbaccording to the expected Ternary value.