Magic wands used in predicate bodies or function preconditions cause a crash (current VSCode version)

[alexanderjsummers]

We need a design for the "snapshots" of such magic wands in Carbon. In the short-term, we should make sure a better error message is raised (unsupported feature).