Function opens_invariants_except 

pub fn opens_invariants_except<A>(_a: A)