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>
Fix interval<T>::power(n) to round downward/upward when n is odd number
Change interval<T>::contains to take const argument
Fix interval::sin and interval<tan> to pass inclusion property check
Fix interval<T>::cosh
Add more test to interval, to check inclusion property of the results