Reason about AList.restrict.
Show semantics of of_key.