make axiom locality checker up-to-date