Class with precondition with entity not available to client
violates VAPE, but is accepted without complaint.

Still not fixed in Prerelease 93.02.17.