Getting rid of this litPropagatedSomething
Doing DFS instead of BFS in propFull

This will allow for time stamping
Adhering to 80-char limit
Using switch statements, makes code easier to read
Adhering to 80-char limit
Making code more readable
Reporting irred & red binary removal separately for transitive reduction
propagateFull should prioritize binaries in *general*

Doing prioritization for irred and then red makes it impossible to
effectively time-stamp