Implemented propogatation functions
Finished BDD printing code