BDD 0 1 2 3 x1_comp x1 0 x2_comp x2 1 0 x3_comp x3 3 1 x2 x2_comp 5