let raise_invalid_lattice () = Options.abort "invalid security lattice"