AV regressions are currently broken. The generated output does not match the golden answer. But I think the changes are merely syntactic and semantically AV is functioning correctly. Still, requires a pass before we update the golden answer.

This applies post #132
test\av-regressions
test\propinst-regressions