Expression e = buildExpression(VN, V);
  std::pair< std::map<Expression,uint32_t>::iterator, bool > pr;
  std::cout << "Current Value Number: " << nextValueNumber << std::endl;
  std::pair<Expression, uint32_t> in(e, nextValueNumber);
  pr = VN.insert(in);
  std::cout << "Insertion: " << (pr.second ? "Succeeded" : "Failed") << std::endl;
  std::cout << "Resultant Value Number: " << VN[e] << std::endl;