syntax_data: {"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"\"emit"}]}
source_snippet:         "emit runtime checks for contract pre- and post-conditions (default: no)"),
context_before:     contract_checks: Option<bool> = (None, parse_opt_bool, [TRACKED],
context_after:     coverage_options: CoverageOptions = (CoverageOptions::default(), parse_coverage_options, [TRACKED],