B model: Improve provability of the View service set (continued)

Cleanup the B specifications of the modules below service_set_view to make them provable (mostly by removing what is clearly incorrect or not corresponding to the implementation).

This is a follow-up of #1152 (closed).

added Enhancement Server labels

assigned to @lvoisin

created branch 1363-improve-provability-of-the-view-service-set-continued to address this issue

mentioned in commit 44102f92

mentioned in commit ee1b20ea

mentioned in commit 94fed688

mentioned in commit 74afdb2c

mentioned in commit ea172892

mentioned in commit dbca2e4a

mentioned in commit 015eb19f

mentioned in commit d858d02f

mentioned in commit 3944c6ab

mentioned in commit 9700259e

mentioned in commit 58ee74fa

mentioned in commit 4070bd60

mentioned in commit 197c51b1

mentioned in commit 4b284e87

mentioned in commit 1c707375

mentioned in commit b19d94f3

mentioned in commit 5653a898

mentioned in commit 2a893dee

mentioned in commit 2336fc55

mentioned in commit 60a7b6c0

mentioned in commit de479aba

mentioned in commit 4d84ae10

mentioned in commit 542c8465

mentioned in commit 867b80fc

mentioned in commit bfd00513

mentioned in commit 36bf773e

mentioned in commit b69fbd92

mentioned in commit 421c9666

mentioned in commit 84212ddb

mentioned in commit 5a19f9d4

mentioned in commit 402935aa

mentioned in commit d37d23b1

mentioned in commit 50a7b1b4

mentioned in commit 920668a0

mentioned in commit 4eb0f664

mentioned in commit 9cb2df7d

mentioned in commit f7e01dca

mentioned in commit a7dfbe50

mentioned in commit 2fda4991

mentioned in commit 130285d5

mentioned in commit d6742a7d

mentioned in commit 28ce5f2a

mentioned in commit 713c3980

mentioned in commit f22b2f50

mentioned in commit 9cc2d31b

mentioned in commit 5fc6ded7

mentioned in commit 85eee29f