(REGION) Nested regions require convex-traced-code-paths, (convexion).