this file implements search for available predicates for the current module Search can be called at compile-time or at run-time