public void NodeLabel_ValidPropositionWithSpecificSymbol_ExpectedDataAsString(char symbol, int nodeNumber, string expectedNodeLabel)
{
// Arrange
Proposition proposition = new Proposition(symbol);
proposition.NodeNumber = nodeNumber;
// Act
string actualNodeLabel = proposition.NodeLabel();
// Assert
actualNodeLabel.Should().Be(expectedNodeLabel + "\n", "Because GraphViz requires this format.");
}
