protected void Copy_CopyingBinaryConnectiveWithTwoRandomVariableSymbols_ExpectedDifferentReferencesForConnective(BinaryConnective originalConenctive)
{
// Act
Proposition copy = originalConenctive.Copy();
bool sameReference = originalConenctive == copy;
// Assert
originalConenctive.Equals(copy).Should().BeTrue("Because all the data should be equal");
sameReference.Should().BeFalse("Because a copy should be a different object reference");
}
