public void TrustMe()
{
AbstractMachineState state = SetupMachine();
TrustMeInstruction i = new TrustMeInstruction();
i.Process(null);
AMProgram program = (AMProgram)state.Program;
AMTrail trail = (AMTrail)state.Trail;
Choicepoint b = new Choicepoint();
b.CE = new EnvironmentFrame();
Choicepoint old = new Choicepoint();
b.B = old;
b.CP = new ProgramNode();
b.TR = 1;
b.NextClause = new ProgramClause();
state.B = b;
i.Execute(state);
Assert.AreEqual("trust_me", i.Name());
Assert.AreEqual(0, i.NumberOfArguments());
Assert.AreSame(state.E, b.CE);
Assert.AreSame(program.CP, b.CP);
Assert.AreEqual(b.TR, trail.TR);
Assert.AreSame(state.B, old);
}