Fixing tests according to new typing rules of assignments