Add support to the loop canonicalization pass to make it transform loops to