Error recovery in analysis

[gerau]

Analysis should not stop at the first error, so we should implement error recovery and error collection. We can use a similar structure to #185, which would take a program and a collector and return an Option.