Use MAP-OVER-ALL-CHILDREN rather than MAP-OVER-CHILDREN when appropriate.