Function iris_invariant_rules 

pub fn iris_invariant_rules() -> Vec<(&'static str, &'static str)>

Return the Iris proof rules for invariant access.

use oxilean_std::program_logics::iris_invariant_rules;
let rules = iris_invariant_rules();
assert!(!rules.is_empty());