Merge "Recognize XOR-based periodic induction." am: 023161ec66 am: 7169ef7abe
am: 579bd1d0f5

Change-Id: I86f8437899d52db0f60015ef38939d7326ae7acf