Initial NodeIsPromoted condition implementation.

Another round of @fubhy's review.