Asserts that a condition is satisfied. Aborts the process otherwise.
( $ pred : expr ) => { if ! $ pred { :: std:: intrinsics:: lrs_abort ( ) } }