# CHECK-JQ: .scope | has("__semantic_prelude")
pass