analyzer: some more checks and support for bridges (Lothar)