Fixing OR gate-based clause shrinking
Removing outdated comment
Command-line based verbosity for gate manipulation

It's much easier to debug this way
Marking const as const