[FOLD] Can't canonicalize if seq!=0
[FOLD] Adjust asserts