Add `(e at label)` as acceptable ghost code
The at
construction could be generalized from logic expression to ghost code. It would remove some need of let ghost
construction which have their own restriction.
The at
construction could be generalized from logic expression to ghost code. It would remove some need of let ghost
construction which have their own restriction.