run complete: 4 steps
1 violation record(s):
  step 1: [balanceNonNegative]