Improve provability of the View service set (continued)

Replaces merge request !977 (closed) which was on an older branch with the wrong issue number.

Closes #1152 (closed)