Consistency check for predicate access arguments

[marcoeilers]

Adding a check for the correct number and type of predicate access arguments, which is already present for function applications and methods calls.

[vakaras]

@ArquintL How can I trigger the Viper server build to get a version of Viper tools with this Silicon?

[ArquintL]

@ArquintL How can I trigger the Viper server build to get a version of Viper tools with this Silicon?

@vakaras It's triggered: https://github.com/viperproject/viperserver/actions/runs/2920081379
Will a ViperServer nightly release be sufficient or do you also need a Viper-IDE nightly release?

[vakaras]

@ArquintL How can I trigger the Viper server build to get a version of Viper tools with this Silicon?

@vakaras It's triggered: https://github.com/viperproject/viperserver/actions/runs/2920081379 Will a ViperServer nightly release be sufficient or do you also need a Viper-IDE nightly release?

We also need Viper-IDE nightly release: we are downloading from https://github.com/viperproject/viper-ide/releases.