Assertion list for term "set to initial values".

Results from Ascent++: 1
variable ReceivesActionset to initial values 0.52