fix: use unchecked constructor for ProcedureName
on Library
deserialization
#672
Loading
ProcedureName
on Library
deserialization
#672