Sync executable with formal spec - RUPD STS #742
Description
In the exec. spec, the subrule (33) has an extra (implicit) clause s > (firstSlot epoch s) + StartRewards (not present in the formal spec)
{{ message }}
In the exec. spec, the subrule (33) has an extra (implicit) clause s > (firstSlot epoch s) + StartRewards (not present in the formal spec)