Assertion: applet's parameter | /r/HasProperty | correct
Facets:
Source sentences:
text: Among other things, the verifier ensures that there are no stack overflows or underflows and that the parameters to all bytecode instructions are correct.