The current version of pack cclab does not contain a file prolog/ccmisc/state_nondet2.pl
cclab
prolog/ccmisc/state_nondet2.pl