also enhance the sanity check, depending on `self.cfg['static_analyzer']`?