decompose parameter regions into caller regions without regarding method context.