The passes shouldn't be hardcoded throughout the analyzer, but should be modular.
The passes shouldn't be hardcoded throughout the analyzer, but should be modular.