Additional checks for FAA0001

[The first 2 were transformed by FAA0003 but I unfortunately didn't keep the original form]

- `(model.Items.Count == 0).Should().BeTrue();`
- `model.Items.Should().BeEmpty()`
- `(model.Amount > 0).Should().BeTrue();`
- `model.Amount.Should().BePositive();`
- `model.Items.Exists(x => x.Amout == 300).Should().BeTrue();`
- `model.Items.Should().Contain(x => x.Amount == 300);`
- `model.Items.ToList().Exists(x => x == "444555666").Should().BeTrue();`
- `model.Items.Should().Contain(x => x == "444555666");`
- `Assert.IsTrue(dict.Count == 2);` transformed to `(dict.Count == 2).Should().BeTrue();` by FAA0003
- `dict.Should().HaveCount(2);`
- `Assert.IsTrue(dict[Ui.Libel1] == Controleur.PremierDuMois);` transformed to `(dict[Ui.Libel1] == Controleur.PremierDuMois).Should().BeTrue();` by FAA0003
- `dict.Should().ContainKey(Ui.Libel1).WhoseValue.Should().Be(Controleur.PremierDuMois);`
- `model.IsSomething.Should().Be(true);`
- `model.IsSomething.Should().BeTrue();`

Beginne damit, die Implementierung von FAA0001 und das bestehende Transformationsverhalten von FAA0003 zu finden, und untersuche anschließend, wie Analyzer-Fälle getestet werden. Füge Prüfungen hinzu, die die aufgeführten Beispiele für leere, positive, Collection-, Dictionary- und boolesche Assertions abdecken, und bestätige, dass die erwarteten FluentAssertions-Vorschläge erzeugt werden.

Vom Indexierungsmodell aus dem Issue-Text verfasst.