public void doesItCalculatePropsCorrectlyTest()
{
Proposition proposition = new Proposition("|(=(>(1,1),>(1,1)),=(>(1,1),>(1,1)))");
bool expected_result = true;
Assert.AreEqual(expected_result, proposition.calculate());
}
