Fixed bdd detensor to quantify out tensored variables afterwards