sig val deanonymize : GlobalData.class_data -> Sast.class_def list -> (GlobalData.class_data * Sast.class_def list, GlobalData.class_data_error) Util.either end