Fix a bug in the `diagrams(_)::rlibrary/1-2` predicates with the processing of linking options for the top library