Runtime

fixing minor missuage of alltd strategy
set bdd as default for ifdeftoif tests