pyInterpret fails on any Python program that uses classes

[robin-aws]

Many tests fail with the message:

\[ERROR\] procedure '__main__': expected 1 arguments, got 0

This is because the translation from Laurel to Core introduces $heap in and out parameters, but the pyInterpret command does not provide any argument for this. The correct behavior is to explicitly pass a value, as long as it is completely unconstrained (i.e. initialized with a havoced value). This should only be the behavior for this parameter since it's part of the translation behavior - we should still raise an error if the main method accepts any additional parameters.

[robin-aws]

@keyboardDrummer-bot Can you create a PR to address this issue on my fork?

[keyboardDrummer-bot]

I've created a draft PR on your fork: robin-aws#3

The fix generates fresh (havoced) variables for all $-prefixed input parameters on __main__ (like $heap_in added by the Laurel-to-Core heap parameterization) and passes them as arguments. It still raises an error if __main__ has any user-defined (non-$) parameters.

I also removed the 17 .expected test files that asserted the old expected 1 arguments, got 0 error. I wasn't able to build locally to verify, so some of those tests may still fail for other reasons — if so, the expected files can be regenerated with --update.