Axe, an automated formal equivalence checking tool for programs