def p_placeholder2(p): "placeholder : '<' PLACEHOLDER '>'" p[0] = aterm.aplaceholder(p[2], None)
def p_placeholder1(p): "placeholder : '<' PLACEHOLDER '(' appl_value ')' '>'" p[0] = aterm.aplaceholder(p[2], p[4])