public void ToString_ContainsIdentifier() { var value = new NullableSymbolicValue(null); value.ToString().Should().MatchRegex(@"NULLABLE_SV_\d+"); }