restore default debugging option
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'