1NT-2C-2S-Pass-??? Expected 4S (holding 12 HCP with a void suit)

[antross]

Hit this while testing. Bridgit suggested "Pass" instead of the "4S" I was expecting. I haven't had the chance to try to debug why yet. PBN below has been adjusted to match the expected bid.

[Event "4S Bug"]
[Dealer "N"]
[Vulnerable "None"]
[Deal "N:- - AJ65.KJ984.QJ85. -"]
[Auction "N"]
1NT Pass 2C Pass
2S Pass 4S

[antross]

@RalphLipe using your new debugging tool I got a bit more insight into this:

Auction fails
   7: Expected 4S - No call available
      Rule from PositionCalls.cs, FromCallFeaturesFactory, line: 72
      4S NotChosen, not comforming: 10-15 dummy points

It appears we're too strong for 4S (17 dummy points), but we don't have any other bids that match.

Is there a different bid that should match here? Or is this a situation where we should downgrade and bid 4S because there's nowhere better to go even though we have additional strength?