the RESTRICT(evaluate_at) operation

[lishaowen0426]

HermesBDD/src/node.cpp

Line 142 in 4b45664

uint32_t new_node = Node::make(var,

When the restricted variable is below the node, shouldn't the new root be the variable of node instead of var

uint32_t new_node = Node::make(pointer(node)->root, evaluate_at(pointer(node)->branch_true, var, value), evaluate_at(pointer(node)->branch_false, var, value));