CFG Detect unreachable Code

[mayanje]

Description
With the Control Flow Graph we can detect unreachable code. This issue shall implement this feature, so that we can add a warning in the client.