Rename `CollisionDetector::num_coll` by `CollisionDetector::num_colls`.