Hovercouch questions

Hovercouch answers

• Exit the function without aborting the script
• TLA+: How to delete structure key/value pairings?
• How to convert number to string in TLA+
• TLA+ Trouble removing an element
• Find each element that is less than some element to its right
• Check that branches are executed