Fixes, documentation, and a first implementation of counterexamples for safety pragmas (txt)

Alessandro Tempia Calvinorequested to merge
alessandro_branch into master

Merge request reports