bdd with reordering
instructions