Error reporting includes all constraints