Add predicate checking functions in Metaprogramming header