add a simple proof to detect integer overflows when adding two unsigned integers
Merge branch 'master' of github.com:0vercl0k/z3-playground