Add topLevelTmpDef placeholder.