TCL model checker for concurrent game