Feature Request: More debugging info

[nikkolasg]

It would be tremendously useful to have more debug info when something is wrong. Some examples below (Some easy some more difficult I guess):

• line where exception / runtime error happened
• variable(s) which can't be constrained
• ... ?

[porcuquine]

Agreed.