Macros in Predicate Language