fixed multiple calls to bdd init and added warning when no instructions are marked for inclusion