The predicate and function names are translated as constants.