Using graph-based analizer to check variables read and initialized in conditional branches