LDC-W2404 — Unchecked computability expectation

The lower-bound analysis checks relation, function and rule declarations. An annotation on another subject warns. Expectations for PARTIAL_MISSING_INPUT, CONFLICTED, UNSTRATIFIED_NON_EXECUTABLE, or INTERPRETATION_DEPENDENT also warn: this analysis cannot verify them. The annotation remains accepted; this warning is not a computability certificate. Unknown class names are E2402 errors. A proven dependency above the declared bound is an E2401 error, including transitive external opaque dependencies.

See SPEC §47.5.