def p_primary_expression_2(self, p):
    ' primary_expression : concrete_integer_expression '
    p[0] = ConcreteIntSymbol(p[1])
primary_expression : concrete_integer_expression
def p_primary_expression_2(self, p):
    '  '
    p[0] = ConcreteIntSymbol(p[1])