restore default debugging option
undo last commit (restore default debugging option):
5c456efd4839f68521913787e0d27127368efa60
Merge branch 'examples' of github.com:APTE/APTE into examples
[FIX] BAC was not action-det (now, we find a false attack as expected)
Merge branch 'examples' into bench