trying stacke based to bdd index