<> <> <> DIRECTORY Rope USING [ROPE], SaffronBaseDef USING [EnvironmentNode]; SaffronContextInvariants: CEDAR DEFINITIONS = BEGIN Violation: ERROR[message: Rope.ROPE, value: REF ANY]; Verify: PROC [env: SaffronBaseDef.EnvironmentNode]; END.