syntax_data: {"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"obligations.push(obligation);"}]}
source_snippet:             obligations.push(obligation);
context_before:             obligation.predicate = normalized_predicate;
context_after:         }