most differences in Eva oracles come from the fact that now anonymous arguments are taken into
account when generating default assigns for prototypes with empty specs.