ENHANCED: CLP(B): More compact internal node representation.