* spot/mc/bloemen_safety.hh, spot/mc/cond_dest.hh,
spot/mc/cond_source.hh, spot/mc/none.hh,
spot/mc/renault_cond_dest.hh,
spot/mc/renault_cond_source.hh,
spot/mc/renault_safety.hh: here.