* spot/mc/Makefile.am, spot/mc/mc.hh, tests/ltsmin/modelcheck.cc, spot/mc/bloemen_nosharing.hh: here.