Mining global constraints for improving bounded sequential equivalence checking