Remove two-input-gates assumption on propagation
Add excitation before propagation
Fix excitation bug
Fix excitation-set-flag-values bug
Fix propagation bug
Improve justification implementation
Clean up some source files