public void CE_CP_Size()
{
ProgramNode _cp = new ProgramNode();
EnvironmentFrame _ce = new EnvironmentFrame();
EnvironmentFrame f = new EnvironmentFrame(_ce, _cp, 10);
Assert.AreSame(_ce, f.CE);
Assert.AreSame(_cp, f.CP);
for(int i = 0; i < 10; i++) {
string varName = "Y" + i.ToString();
Assert.IsNotNull(f[varName]);
}
}