permissive identification, e.g. relevant for HOL-SPARK examples running on rsync-clone;