Input Deterministic Clause Samples

Input Deterministic. There is no internal choice among the input events: BusCell (i, j ) is never selective about the input events it is prepared to receive.