Procedures: Maps

• ContainsKey — Checks whether a map contains a given key.
• Find — Checks whether a map contains a given key, and returns the corresponding value if so.