syntax_data: {"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"contract_build_check_ensures,"}]}
source_snippet:         contract_build_check_ensures,
context_before:         constructor,
context_after:         contract_check_ensures,