[spec] Printing of spec problems buries the failing predicate which should be more prominent
After CLJ-2376, you might see an error like this:
This puts the spec (long, not initially relevant) before the predicate which is more important.
1.9 spec problem line format:
Proposed: Put value and pred first and if there is an internal "reason" that should take precedence.
Added -2 patch that removes the leading "val:"