INTERNAL: Do not use.
Query predicates used to check invariants that should hold for all
nodes. To run all consistency queries for the ASTs, including the ones below,
Holds if the cast has no result for
Holds if the cast has more than one result for
Holds if the cast has a result for