Support hover for globally defined predicates.