Enabling stamping & cache for finding gates
More const-correctness
Outputting information about subsumption
Refactoring subsumption using a subfunctions
Removing debug printing
simplification order: varelim -> bva -> gates
Better printing of timing for strengthening
Better printing of timing for subsumption