* spot/priv/weight.cc, spot/priv/weight.hh, spot/twaalgos/determinize.cc, spot/twaalgos/stats.cc: Here.