refactor precompiled library predicates