add intern and intern map predicates