BDD traversal, loading and dumping of symbolic FA.

TO BE TESTED AND FIXED