NOT_SATISFY_NEXT_CONSTRAINT
if (NOT_SATISFY_NEXT_CONSTRAINT (constraint, context))
if (NOT_SATISFY_NEXT_CONSTRAINT (dfa->nodes[cur_node_idx].constraint,
if (NOT_SATISFY_NEXT_CONSTRAINT (node->constraint, context))
if (NOT_SATISFY_NEXT_CONSTRAINT (node->constraint, context))