A tool to check the equivalence of two ARM assembly programs