- Temporarily enable -Wredundant-constraints
  - Has too many false-positives to enable normally, but sometimes catches actual redundant constraints
- Don't forget to rerun gentrace.sh