nitc :: ABinOpHelper :: bin_expr2
fun bin_expr2: AExpr is abstract
redef fun bin_expr2 do return n_expr2