Switch to a totally different system for generating (shallow) boolvartrees
Minor