Debugged ILP generation for mutual exclusion