* spot/twaalgos/cobuchi.hh: Declare nsa_to_dca(). * spot/twaalgos/cobuchi.cc: Implement nsa_to_dca().