allSat needs multiple roots

or maybe just add a dependence between function arguments?