XXX: Drop debug msgs from nontermination
# Please enter the patch name in the first line, and
# optionally, a long description in the following lines.
#
# Lines starting with '#' will be ignored.
#
#
# Summary of selected changes:
#
# M ./divine/mc/nontermination.hpp -20