generating more test inputs, but some are invalid!

see RBTree.append