Member predicate FrameworkLibraryInstance::info

Holds if this is an instance of version v of framework library fl.

predicate info(FrameworkLibrary fl, string v)