Win_condition_checker Contracts finsihed