public static void ShouldHaveState(
this PLLiteral <MyModel> literal,
string atomicSentenceSymbol,
bool isNegated)
{
Assert.Equal(atomicSentenceSymbol, literal.AtomicSentence.Symbol);
Assert.Equal(isNegated, literal.IsNegated);
}
public LiteralExaminer(PLLiteral <TModel> owner) => this.owner = owner;