public void Verify() { Condition.Verify(); VarTab.PushScope(); IfBlock.ForEach(stmt => stmt.Verify()); VarTab.PopScope(); VarTab.PushScope(); ElseBlock.ForEach(stmt => stmt.Verify()); VarTab.PopScope(); }