Remove unnecessary uniform axioms --slowing down verification