Use restrict instead of urestrict for cofactors
Get rid of BDD urestrict
Get rid of some truth table class hierarchy
Get rid of table urestrict