Fix error if not violation
Fix error on drawing graph
Add nofail attribute to violation
Merge branch 'develop'