aanpassingen feedback: changed velocity to total, added overflow precondition in turn, modified SpaceObject (getTimeToCollision specification).