TE_const in expr_to_formula
TE_ident in expr_to_formula
TE_op in expr_to_formula
TE_op in expr_to_formula
TE_arrow in expr_to_formula
TE_pre in expr_to_formula