Function wp_rules 

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

Return the weakest precondition calculus rules as strings.

use oxilean_std::program_logics::wp_rules;
let rules = wp_rules();
assert!(rules.iter().any(|(name, _)| *name == "WP-Skip"));