add pre and post condition comments for DriveForDistance()