The scsvplan example's "claim R3"

[V0idwu]

claim R3 [ activities hasvoltage: Alisa_Consistency.ConsistentVoltage(volts) consistentvoltage: actualvolt = Alisa_Consistency.GetVoltage() matchvoltage: actualvolt = Alisa_Consistency.SetGetVoltage()property values (volts) ]

Actually, I have some doubts about this claim.

1. Is the order of the verification activities related to the execution order of these verification methods?
2. Why method 'SetGetVoltage()' and 'GetVoltage()' has the same Java implementa
   Actually, I have some doubts about this claim.
3. Is the order of the verification activities related to the execution order of these verification methods?
4. Why method 'SetGetVoltage()' and 'GetVoltage()' has the same Java implementation ?