Function opens_invariants_any 

pub fn opens_invariants_any()