Use TernProject#hasLib(ITernDef def)