That was 1) strictly increasing (no idea why it was there in a first place)
2) no ins codes (The residue mapper is a dict which now has actual residue
numbers as key - can handle insertion codes)