minor interpreter changes: added command ":bdd" to print current winning
bdd in dot graph notation