Fix bool setting, separate analysis parts from proof related, protect from returning None from process
Disable some debug stuff
Move norm saving part, save info if normalization was applied
Follow (naming) changes in base analyzer