Forbid nesting of transitive compilation