let descr = "recognize security annotations of the specified lattice"