This pass already handles INIT constants shorter than 2^width, but that was not done for the recursion base case.