Member predicate Portal::getBasePortal

Gets the ith base portal of this portal.

The 0th base portal is the portal itself, the n+1st base portal is the nth base portal of the portal p of which this is a member, instance, parameter, or return portal.