Improve error reporting on stuck variables #6
Description
When a variable y is stuck in generation - i.e. its spec refines to ErrorSpec or an otherwise inconsistent spec - we should report all the variables that could have influenced the spec of y and no other variables in the "initial" error message. Basically, we should only look at the variables in the pre-image of y that have been generated and print those variables and their initial constraints.