Member predicate FrameworkLibraryReference::info

Holds if this is a reference to version v of framework library fl.

predicate info(FrameworkLibrary fl, string v)