Add tests to check the type narrowing of a query in a transaction scenario

[nipunayf]

Purpose

This test is added along with the change made in ballerina-platform/ballerina-lang#41743 to assert the type narrowing behavior in a retry block.

Security checks

• Followed secure coding standards in http://wso2.com/technical-reports/wso2-secure-engineering-guidelines? yes
• Ran FindSecurityBugs plugin and verified report? no
• Confirmed that this PR doesn't commit any keys, passwords, tokens, usernames, or other secrets? yes

Related PRs

ballerina-platform/ballerina-lang#41743

Test environment

Ballerina 2201.8.3 (Swan Lake Update 8)
OS: macOS 14.1.1 23B81
JDK: openjdk 17.0.8 2023-07-18

[github-actions]

This PR has been open for more than 15 days with no activity. This will be closed in 3 days unless the stale label is removed or commented.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (b17b9a4) 55.48% compared to head (abd842f) 55.48%.

Additional details and impacted files

@@            Coverage Diff            @@
##             master     #530   +/-   ##
=========================================
  Coverage     55.48%   55.48%           
  Complexity       16       16           
=========================================
  Files            21       21           
  Lines           647      647           
  Branches        320      320           
=========================================
  Hits            359      359           
  Misses          287      287           
  Partials          1        1           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.