Allow passing variable list to BDD loaders
Apply works better without using bdd1.T as initial T.