Translate a native path to an aliased path. Path aliases are
defined by path_alias/2. Aliased paths are re-translated into
native form using expand_alias/2.
Translate an external predicate indicator representated as an
atom into a predicate indicator term. If Atom contains
<module>:, PI is qialified. If no arity is provided it is a term
Name/_, i.e., with unbound arity.