Fixed (possibly by one or two of the previous commits) in rev#87149 of EiffelStudio 7.0 intermediate release.
The error reported during the test is VGCP(4), but this seems to be OK because the corresponding validity rule is indeed violated, and after correction the test passes.