def p_pragma1(p):
    node = enaml_ast.Pragma()
    node.lineno = p.lineno(1)
    node.command = p[2]
    p[0] = node
Get context from the SMT solver.
dataset/ETHPy150Open nucleic/enaml/enaml/core/parser.py/p_pragma1--crossover with--dataset/ETHPy150Open programa-stic/barf-project/barf/barf/analysis/codeanalyzer/codeanalyzer.py/CodeAnalyzer.get_context