Module Hooks.Analysis_bugs

Hook to track some bug patterns in Python analysis, inspired by the one written in C.

The hook captures assignments. It checks that if such statement is reachable its post-state should not be empty. Otherwise, this seems to be a soundness bug in some transfer function.