Update 'Nested Operation Calls' example documentation ("

[ChuckLutz]

Hi folks, I am new to USE and working through the manual's examples. I think it is a fantastic tool!

Describe the bug I am trying to work through the "Nested Operation Calls" portion of the manual, and USE is reporting an error that seems to indicate a new limitation (perhaps) or (hopefully) implies that there is some new way to invoke operations that are defined as OCL expressions.

To Reproduce Steps to reproduce the behavior:

1. Load the model shown here
2. Issue the commands "!create r : Rec" and "!openter r fac(3)" as shown here.
3. The second command will fail; the command line will report "Operation 'Rec::fac' is defined by a OCL expression and cannot be entered with openter."

Expected behavior The command line should show something similar to "precondition `pre1' is true" as shown in the link from step 2 above.

Desktop (please complete the following information):

• OS: Mac OS Ventura
• Java Version OpenJDK 19.0.1 2022-10-18
• USE version 7,0.1

Additional context The source line showing the error appears to be here, but I didn't see any immediate hint pointing to how I should instead have tried to invoke the operation.