Context receiver for writing declarative assertions on a SliceGraph.
Filter or assertion criteria for adjacency.
Filter or assertion criteria for slices.
Filter or assertion criteria for violations.
Appends a custom violation failure message to the assertion run.
Asserts condition is true, recording a violation with message when false.