Release v4.190.12

Changed

• The semantic specification runner refuses only the specifications that reach a Translate slice or a public or foreign event; other specifications in the same model now run instead of all ending as Unsupported (part of #721)

Fixed

• The semantic specification runner executes projections that set literal values, add or subtract event values and count, so these specifications run instead of ending as Unsupported (part of #721)
• The semantic specification runner checks only the projections a specification actually reaches, so an unrelated projection in the same model no longer makes it Unsupported (part of #721)
• Rejection specifications in the semantic runner pass or fail on the expected rejection instead of failing with a conversion error on the key (#722)