Function opens_invariants_none 

pub fn opens_invariants_none()