syntax_data: {"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! will work with any join-semilattice, but both should be specified when possible.
context_before: //! but not the other are known as semilattices. Dataflow analysis only uses the join operator and
context_after: //!