public void Initialize()
{
AMTrail trail = AMTrail.Instance;
trail.Initialize();
Assert.AreEqual(0, trail.TR);
}
public void Trail()
{
AMTrail trail = AMTrail.Instance;
AbstractTerm term = new AbstractTerm();
trail.Initialize();
trail.Trail(term);
Assert.AreEqual(1, trail.TR);
}