Signed-off-by: Thomas Mäder <tmader@redhat.com>

Checks two things and prevents moving the initializer if true:

1. Whether a variable is reassigned in a statement that may have sub-
statements (like an if statement)
2. Whether the initializer uses variables that are not define at the
place the initializer would be move up to.