Start static analysis of variables in ExecutionBlocks.