variable change conflicts fixes, new bdd