Add occurs function

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Rename type to domain in contexts (aka telescopes). Reason: make name convention consistent with the one used for abstractions (lambdas and pis).

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add sanitize_names for (local) contexts

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Avoid head and tail when manipulating contexts

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Sanitize context names before generating error messages. Add [[ noreturn ]] attribute to functions that always throw exceptions.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Improve sanitizer test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Display context_entry body when pretty printing contexts.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Create objects for universe variable declarations.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add operator== to list

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add helper function for maps.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add notation support to frontend object

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>