Function symbolic_invariant_failure_site 

const fn symbolic_invariant_failure_site(
    site: CheckSequenceFailureSite,
) -> SymbolicInvariantFailureSite