Hack: deserialize annotations from builtins to Annotations.EMPTY