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