public void CreateSimpleAtomExpression() { Atom atom = new Atom("ok"); AtomExpression expression = new AtomExpression(atom); Assert.AreEqual(atom, expression.Atom); Assert.IsFalse(expression.HasVariable()); }