Rules have to make sense. Annulment rules make less sense that just admitting that some types of divorce are necessary. There is a fine line between obedience and superstition and the Church crossed it long ago on divorce.