I just released phpstan-drupal 0.12.10, which includes a major bug fix and major feature.