Working binary matrix BDD path