+ now Analysis (and Verifier) collect problem reports (simple one-line strings)

this is just some small infrastructure extension. Basically, whenever a problem is found that makes the program unsafe, Analysis.addProblem() should be called.