Improve BDD reading/writing code

Merged Hans-Peter Deifel requested to merge symbolic-io-improvements into SylvanSymbolic

Merge request reports