Table copy_library_name

predicate copy_library_name(@copy id, int idx, string library_name)