Adding assertions to prevent multiple modifications to x or y on mutate() calls (and initialization)