DEF_METHOD(addPos, "$pos")
DEF_METHOD(addBu0, "$bu0")
DEF_METHOD(addNeg, "$neg")
-DEF_METHOD(addReduceAnd, "$redcue_and")
-DEF_METHOD(addReduceOr, "$redcue_or")
-DEF_METHOD(addReduceXor, "$redcue_xor")
-DEF_METHOD(addReduceXnor, "$redcue_xnor")
-DEF_METHOD(addReduceBool, "$redcue_bool")
+DEF_METHOD(addReduceAnd, "$reduce_and")
+DEF_METHOD(addReduceOr, "$reduce_or")
+DEF_METHOD(addReduceXor, "$reduce_xor")
+DEF_METHOD(addReduceXnor, "$reduce_xnor")
+DEF_METHOD(addReduceBool, "$reduce_bool")
DEF_METHOD(addLogicNot, "$logic_not")
#undef DEF_METHOD