Lots of refactoring
Remove unnecessary if
Change make_symbolic_state methods for a more clean implementation
Change RBMStitcher for a method that returns a DBM
Change make_symbolic_state methods to make their implementation cleaner