Updating AV regressions

[akashlal]

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

[akashlal]

Also, we should include AV regressions into the CI.
CC @shuvendu-lahiri for visibility

[shuvendu-lahiri]

that would be really great Akash!