Ants: fixed fireant double damage bug in autograder