Fixed generation of fresh names in Fresh annotation macro.