a few examples
euf_la_arith -> euf_la_arithmetic