IfRecordDeleted: a more precise query for deletion status

[mesemus]

Description

The query_filter of IfRecordDeleted(then_, else_) is implemented as:

(match_all & then_) | (if not deleted & else_) which simplifies to then_ | (if not deleted & else_)

This implementation can be confusing because the then_ branch is always applied, regardless of the record's deletion status. A more consistent implementation, proposed in this pull request, changes this to:

(if deleted & then_) | (if not deleted & else_)

Checklist

Ticks in all boxes and 🟢 on all GitHub actions status checks are required to merge:

• I'm aware of the code of conduct.
• I've created logical separate commits and followed the commit message format.
• I've added relevant test cases.
• I've added relevant documentation.
• I've marked translation strings.
• I've identified the copyright holder(s) and updated copyright headers for touched files (>15 lines contributions).
• I've NOT included third-party code (copy/pasted source code or new dependencies).
  • If you have added third-party code (copy/pasted or new dependencies), please reach out to an architect on Discord.

Frontend

• I've followed the CSS/JS and React guidelines.
• I've followed the web accessibility guidelines.
• I've followed the user interface guidelines.

Reminder

By using GitHub, you have already agreed to the GitHub’s Terms of Service including that:

1. You license your contribution under the same terms as the current repository’s license.
2. You agree that you have the right to license your contribution under the current repository’s license.