Termination Arguments

Description

An argument to the termination condition. If there are multiple players, then these arguments expand internally as “per player”