Reject clauses that involves returned sut for init_state
#55
The logs for this run have expired and are no longer available.
Loading
sut for init_state
#55