renamings.
wraps_arc predicate.