Dev random

New stuff to produce reduced trees.