public void CP() { Choicepoint c = new Choicepoint(); ProgramNode cp = new ProgramNode(); c.CP = cp; Assert.AreSame(cp, c.CP); }