Merge "Recognize XOR-based periodic induction."
am: 023161ec66

Change-Id: Ib3779df3c48d6757b6e53e2c5e12eb0c6e8ca176